Stop pretty-print from emitting deprecated semi-colons.

1 files changed, 2 insertions, 2 deletions

diff --git a/Test/dafny0/AutoReq.dfy b/Test/dafny0/AutoReq.dfy
index 99e8298e..acfe6b8d 100644
--- a/Test/dafny0/AutoReq.dfy
+++ b/Test/dafny0/AutoReq.dfy
@@ -225,7 +225,7 @@ module {:autoReq} M1 {
 }

 

 module Datatypes {

-  datatype TheType = TheType_builder(x:int) | TheType_copier(t:TheType);

+  datatype TheType = TheType_builder(x:int) | TheType_copier(t:TheType)

 

   function f1(t:TheType):bool

     requires t.TheType_builder? && t.x > 3;

@@ -255,7 +255,7 @@ module Datatypes {
 }

 

 module Matches {

-  datatype TheType = TheType_builder(x:int) | TheType_copier(t:TheType);

+  datatype TheType = TheType_builder(x:int) | TheType_copier(t:TheType)

 

   function f1(x:int):bool

     requires x > 3;