Stop pretty-print from emitting deprecated semi-colons.

1 files changed, 4 insertions, 4 deletions

diff --git a/Test/dafny0/RankPos.dfy b/Test/dafny0/RankPos.dfy
index ee582146..d8907b25 100644
--- a/Test/dafny0/RankPos.dfy
+++ b/Test/dafny0/RankPos.dfy
@@ -1,10 +1,10 @@
 // RUN: %dafny /compile:0 /print:"%t.print" /dprint:"%t.dprint" "%s" > "%t"

 // RUN: %diff "%s.expect" "%t"

 

-datatype list<A> = Nil | Cons(head: A, tail: list<A>);

-datatype d = A | B(ds: list<d>);

-datatype d2 = A2 | B2(ds: seq<d2>);

-datatype d3 = A3 | B3(ds: set<d3>);

+datatype list<A> = Nil | Cons(head: A, tail: list<A>)

+datatype d = A | B(ds: list<d>)

+datatype d2 = A2 | B2(ds: seq<d2>)

+datatype d3 = A3 | B3(ds: set<d3>)

 

 function d_size(x: d): int

 {