From 688d3be723b19655edcd1fc1de413b54630d4589 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Mon, 28 Aug 2017 15:25:39 +0200 Subject: Small changes? Forgot to commit. --- 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 b538794..3b6011d 100644 --- a/instr-to-kodkod/parser/PropertyLexer.g4 +++ b/instr-to-kodkod/parser/PropertyLexer.g4 @@ -32,8 +32,8 @@ EF_OPERATOR_KW: '(EF' SEP; AU_OPERATOR_KW: '(AU' SEP; EU_OPERATOR_KW: '(EU' SEP; -DEPTH_NO_PARENT_OPERATOR_KW: '(does_not_reach_parent_before' SEP; -DEPTH_NO_CHANGE_OPERATOR_KW: '(does_not_change_depth_before' SEP; +DEPTH_NO_PARENT_OPERATOR_KW: ('(NPB' | '(does_not_reach_parent_before') SEP; +DEPTH_NO_CHANGE_OPERATOR_KW: ('(NDCB' | '(does_not_change_depth_before') SEP; WS: SEP; -- cgit v1.2.3-70-g09d2