diff options
Diffstat (limited to 'Test/dafny0/Answer')
| -rw-r--r-- | Test/dafny0/Answer | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index 3bee3088..13613f66 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -2403,7 +2403,7 @@ Dafny program verifier finished with 30 verified, 0 errors Compiled assembly into Compilation.exe
Dafny program verifier finished with 9 verified, 0 errors
-Compilation error: Arbitrary type ('MyType') cannot be compiled
+Compilation error: Arbitrary type ('_module.MyType') cannot be compiled
Compilation error: Iterator _module.Iter has no body
Compilation error: Method _module._default.M has no body
Compilation error: Method _module._default.P has no body
|