diff options
Diffstat (limited to 'Jennisys/examples/List2.jen')
| -rw-r--r-- | Jennisys/examples/List2.jen | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jennisys/examples/List2.jen b/Jennisys/examples/List2.jen index 61fad148..116804fa 100644 --- a/Jennisys/examples/List2.jen +++ b/Jennisys/examples/List2.jen @@ -8,7 +8,7 @@ class IntList { ensures list = [2] constructor OneTwo() - ensures list = [1] + [2] + ensures list = [1 2] constructor Singleton(p: int) ensures list = [p] |