diff --git a/tests/issues/issue290.icry.stdout b/tests/issues/issue290.icry.stdout index 63282928..6ff2d23e 100644 --- a/tests/issues/issue290.icry.stdout +++ b/tests/issues/issue290.icry.stdout @@ -3,5 +3,7 @@ Loading module Cryptol Loading module Cryptol Loading module issue290 Loading module issue290bar - -and then a bunch of 1's and 2's instead of undefined constants +Assuming a = 2 +2 +1 +1 diff --git a/tests/issues/issue290bar.cry b/tests/issues/issue290bar.cry index f2539845..4a372a0e 100644 --- a/tests/issues/issue290bar.cry +++ b/tests/issues/issue290bar.cry @@ -1,6 +1,6 @@ module issue290bar where -import issue290 +import issue290 as issue290 fooConst = 2 barConst = issue290::fooConst