From ce9981b4a8d9687bdce0b036ce0fa223fd06c9f1 Mon Sep 17 00:00:00 2001 From: Shon Feder Date: Mon, 13 Jul 2020 16:00:53 -0400 Subject: [PATCH] Correct location of ExistsAsvalue module (#173) Looks like this a casuality of the CI pipeline being down :) See https://travis-ci.org/github/informalsystems/apalache/builds/707738750#L9101-L9107 --- test/{ => tla}/ExistsAsValue.tla | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename test/{ => tla}/ExistsAsValue.tla (100%) diff --git a/test/ExistsAsValue.tla b/test/tla/ExistsAsValue.tla similarity index 100% rename from test/ExistsAsValue.tla rename to test/tla/ExistsAsValue.tla