From d7647dda4fe577a5a9d8569e0a9e0e28496c0744 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 25 Jul 2017 16:59:20 +0200
Subject: Gets the strings seemingly working.

---
 instr-to-kodkod/parser/PropertyLexer.g4 | 1 +
 1 file changed, 1 insertion(+)

(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 159dec1..46aa30f 100644
--- a/instr-to-kodkod/parser/PropertyLexer.g4
+++ b/instr-to-kodkod/parser/PropertyLexer.g4
@@ -29,3 +29,4 @@ EU_OPERATOR_KW: '(EU' SEP;
 WS: SEP;
 
 ID: [a-zA-Z0-9_]+;
+STRING: '"' ~('\r' | '\n' | '"')* '"';
-- 
cgit v1.2.3-70-g09d2