From 4fb6b740e79c1942fd0bfde9b167ea273c7d0b4b Mon Sep 17 00:00:00 2001
From: Greg Brown <gmb60@cam.ac.uk>
Date: Thu, 31 Dec 2020 13:29:40 +0000
Subject: First complete working version.

---
 src/nibble/mod.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/nibble/mod.rs')

diff --git a/src/nibble/mod.rs b/src/nibble/mod.rs
index 59788e6..071b41a 100644
--- a/src/nibble/mod.rs
+++ b/src/nibble/mod.rs
@@ -407,14 +407,16 @@ impl Parse for LetStatement {
 pub struct Goal {
     match_token: Token![match],
     expr: Expression,
+    semi_token: Token![;],
 }
 
 impl Parse for Goal {
     fn parse(input: ParseStream<'_>) -> Result<Self> {
         let match_token = input.parse()?;
         let expr = input.parse()?;
+        let semi_token = input.parse()?;
 
-        Ok(Self { match_token, expr })
+        Ok(Self { match_token, expr, semi_token })
     }
 }
 
-- 
cgit v1.2.3