diff options
author | qunyanm <unknown> | 2015-03-05 12:04:37 -0800 |
---|---|---|
committer | qunyanm <unknown> | 2015-03-05 12:04:37 -0800 |
commit | db30cafd94527e73e969457c9c00e8c67300d7d4 (patch) | |
tree | 304827ba0d57583141f110b2834ae040b7453bb4 /Test/dafny0/RankNeg.dfy | |
parent | dbce023dbbbc2a73853c3d2b6251e85d4d627376 (diff) |
Stop pretty-print from emitting deprecated semi-colons.
Diffstat (limited to 'Test/dafny0/RankNeg.dfy')
-rw-r--r-- | Test/dafny0/RankNeg.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/RankNeg.dfy b/Test/dafny0/RankNeg.dfy index 2ac00196..519d9063 100644 --- a/Test/dafny0/RankNeg.dfy +++ b/Test/dafny0/RankNeg.dfy @@ -16,7 +16,7 @@ function seq_loop_s(xs: seq<seq<int>>): int else 0
}
-datatype wrap = X | WS(ds: seq<wrap>);
+datatype wrap = X | WS(ds: seq<wrap>)
function wrap_loop_1(xs: seq<wrap>): int
{
if (xs == [WS([X,X])]) then wrap_loop_2(WS([X,X]))
|