11 年之前 · b496d6e00b
--- a/parser.mly
+++ b/parser.mly
@@ -65,7 +65,7 @@ basic_type:
 
				   | BOOL  { Bool }
			
 
				 
			
 
				 program:
			
 
				-  | decl* EOF
			
 
				+  | decl+ EOF
			
 
				   { Program ($1, loc $startpos $endpos) }
			
 
				 
			
 
				 decl:
			
--- a/test/basic/check_error/empty.cvc
+++ b/test/basic/check_error/empty.cvc