From f5a76b417ad345c611a267e75ca01fbff5658bd8 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Wed, 7 Dec 2011 17:13:32 -0800
Subject: Dafny: corrected merge snafus

---
 Source/Dafny/Dafny.atg | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/Dafny/Dafny.atg')

diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg
index 6b12a288..3e82cdc9 100644
--- a/Source/Dafny/Dafny.atg
+++ b/Source/Dafny/Dafny.atg
@@ -285,6 +285,7 @@ ArbitraryTypeDecl<ModuleDecl/*!*/ module, out ArbitraryTypeDecl at>
   "type"
   { Attribute<ref attrs> }
   Ident<out id>               (. at = new ArbitraryTypeDecl(id, id.val, module, attrs); .)
+  SYNC ";"
   .
 CouplingInvDecl<.MemberModifiers mmod, List<MemberDecl/*!*/>/*!*/ mm.>
 = (. Contract.Requires(cce.NonNullElements(mm));
-- 
cgit v1.2.3