| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-17 18:59:31 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-17 18:59:31 +0200 |
| commit | 31e1948a7f3bf1f7902cd5a0d6d49cef277e73ae (patch) | |
| tree | 4b60ed0258b26cfa4f2ca85ecb30ec5fe342a29d /instr-to-kodkod/parser/PropertyLexer.g4 | |
| parent | 44c43a703e2d996ac80318a67c7ba3a828dca19b (diff) | |
Adds the (rather costly) predicate to handle Until
Diffstat (limited to 'instr-to-kodkod/parser/PropertyLexer.g4')
0 files changed, 0 insertions, 0 deletions