| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-18 18:06:10 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-18 18:06:10 +0200 |
| commit | 1cac6685e5dc334473c304194d5f816b6ecf3469 (patch) | |
| tree | 337af5ffb3e3ae89494d722e8867ac57588e603c /instr-to-kodkod/src | |
| parent | 9ab261cc3e22683fcb7ba0ac42b8cd0b916002bd (diff) | |
Adds missing predicate from g4 to instr scripts
Diffstat (limited to 'instr-to-kodkod/src')
0 files changed, 0 insertions, 0 deletions