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
apalache-mc · Jul 13, 2020 · ce9981b · ce9981b
1 parent d0846f9
commit ce9981b
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/test/ExistsAsValue.tla → test/tla/ExistsAsValue.tla b/test/ExistsAsValue.tla → test/tla/ExistsAsValue.tla