From 5f06e34bc24876739c1d4af1d45f7cb322a19559 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 26 Jul 2017 14:32:28 +0200
Subject: First shot at (logic, not VHDL) functions.

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

(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 46aa30f..9fcad29 100644
--- a/instr-to-kodkod/parser/PropertyLexer.g4
+++ b/instr-to-kodkod/parser/PropertyLexer.g4
@@ -4,6 +4,8 @@ fragment SEP: [ \t\r\n]+;
 
 L_PAREN : '(';
 R_PAREN : ')';
+L_BRAKT: ']';
+R_BRAKT: '[';
 
 TAG_EXISTING_KW: '(tag_existing' SEP;
 
-- 
cgit v1.2.3-70-g09d2