Stop pretty-print from emitting deprecated semi-colons.

1 files changed, 3 insertions, 3 deletions

diff --git a/Test/dafny1/Substitution.dfy b/Test/dafny1/Substitution.dfy
index 174e71c8..da64d004 100644
--- a/Test/dafny1/Substitution.dfy
+++ b/Test/dafny1/Substitution.dfy
@@ -1,12 +1,12 @@
 // RUN: %dafny /compile:0 /dprint:"%t.dprint" "%s" > "%t"

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

 

-datatype List = Nil | Cons(Expr, List);

+datatype List = Nil | Cons(Expr, List)

 

 datatype Expr =

   Const(int) |

   Var(int) |

-  Nary(int, List);

+  Nary(int, List)

 

 function Subst(e: Expr, v: int, val: int): Expr

 {

@@ -50,7 +50,7 @@ lemma Lemma(l: List, v: int, val: int)
 datatype Expression =

   Const(int) |

   Var(int) |

-  Nary(int, seq<Expression>);

+  Nary(int, seq<Expression>)

 

 function Substitute(e: Expression, v: int, val: int): Expression

   decreases e;