From bc3e8933e1005e93e4a97b9a207cb40db454a2a8 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 20 Sep 2017 17:19:42 +0200
Subject: Solves the missing solutions bug. Starts PropDeps.

---
 instr-to-kodkod/parser/PropertyLexer.g4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'instr-to-kodkod/parser/PropertyLexer.g4')

diff --git a/instr-to-kodkod/parser/PropertyLexer.g4 b/instr-to-kodkod/parser/PropertyLexer.g4
index 3b6011d..e100efb 100644
--- a/instr-to-kodkod/parser/PropertyLexer.g4
+++ b/instr-to-kodkod/parser/PropertyLexer.g4
@@ -37,7 +37,7 @@ DEPTH_NO_CHANGE_OPERATOR_KW: ('(NDCB' | '(does_not_change_depth_before') SEP;
 
 WS: SEP;
 
-ID: [a-zA-Z0-9_]+;
+ID: [a-zA-Z0-9_~]+;
 STRING: '"' ~('\r' | '\n' | '"')* '"';
 
-COMMENT: ';;' .*? '\n' -> channel(HIDDEN);
+COMMENT: (';;'|'#require') .*? '\n' -> channel(HIDDEN);
-- 
cgit v1.2.3-70-g09d2