| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-25 14:45:05 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-25 14:45:05 +0200 |
| commit | 97439a89b5439ce120e5bc2814251ce9dc513ce0 (patch) | |
| tree | cfefd60c8ee3179cd76ac0c54023f5fff77bb6ae /instr-to-kodkod/parser/Makefile | |
| parent | a19063a8dc55750e4ae6d6d6acacdd537fbbdb08 (diff) | |
Improves error reports for the property.
Diffstat (limited to 'instr-to-kodkod/parser/Makefile')
0 files changed, 0 insertions, 0 deletions