Stop pretty-print from emitting deprecated semi-colons.

1 files changed, 3 insertions, 3 deletions

diff --git a/Test/dafny0/MatchBraces.dfy.expect b/Test/dafny0/MatchBraces.dfy.expect
index dfe1215f..385cad7a 100644
--- a/Test/dafny0/MatchBraces.dfy.expect
+++ b/Test/dafny0/MatchBraces.dfy.expect
@@ -85,7 +85,7 @@ method P(c: Color, d: Color)
 }

 

 lemma HeatIsEven(c: Color)

-  ensures Heat(c) % 2 == 0;

+  ensures Heat(c) % 2 == 0

 {

   match c

   case Red =>

@@ -96,7 +96,7 @@ lemma HeatIsEven(c: Color)
 }

 

 method DegenerateExamples(c: Color)

-  requires Heat(c) == 10;

+  requires Heat(c) == 10

 {

   match c

   case Red =>

@@ -108,7 +108,7 @@ method DegenerateExamples(c: Color)
 }

 

 method MoreDegenerateExamples(c: Color)

-  requires Heat(c) == 10;

+  requires Heat(c) == 10

 {

   if c == Green {

     var x: int := match c;