diff options
Diffstat (limited to 'Test/dafny0/Comprehensions.dfy')
| -rw-r--r-- | Test/dafny0/Comprehensions.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/Comprehensions.dfy b/Test/dafny0/Comprehensions.dfy index 70a7820e..d0436815 100644 --- a/Test/dafny0/Comprehensions.dfy +++ b/Test/dafny0/Comprehensions.dfy @@ -14,7 +14,7 @@ method M() function method Id(x: int): int { x } // for triggering
-datatype D = A | B;
+datatype D = A | B
// The following mainly test that set comprehensions can be compiled, but one would
// have to run the resulting program to check that the compiler is doing the right thing.
method Main()
|