From b45d145f19c7818db7a890117b089ebf3f891947 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 15 Aug 2017 12:38:27 +0200
Subject: Adds support for comments in properties.

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

diff --git a/instr-to-kodkod/parser/PropertyLexer.g4 b/instr-to-kodkod/parser/PropertyLexer.g4
index 46a6d3d..b538794 100644
--- a/instr-to-kodkod/parser/PropertyLexer.g4
+++ b/instr-to-kodkod/parser/PropertyLexer.g4
@@ -2,8 +2,8 @@ lexer grammar PropertyLexer;
 
 fragment SEP: [ \t\r\n]+;
 
-L_PAREN : '(';
-R_PAREN : ')';
+L_PAREN: '(';
+R_PAREN: ')';
 L_BRAKT: '[';
 R_BRAKT: ']';
 
@@ -39,3 +39,5 @@ WS: SEP;
 
 ID: [a-zA-Z0-9_]+;
 STRING: '"' ~('\r' | '\n' | '"')* '"';
+
+COMMENT: ';;' .*? '\n' -> channel(HIDDEN);
-- 
cgit v1.2.3-70-g09d2