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;