| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2017-10-31 10:44:05 +0100 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2017-10-31 10:44:05 +0100 |
| commit | a9ee742be71040138c6414a63b7327e05b1723fe (patch) | |
| tree | a7296092ecbe9957edcea5cfa7b571175cc5d674 /Makefile | |
| parent | a3b507f3d2ce6041d29e154e11011d1f963e1a19 (diff) | |
Adds a Java version of prop-to-pred.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,7 +21,7 @@ AST_TO_INSTR ?= ast-to-instr INST_CALC ?= instance-calculator SOLVER ?= instr-to-kodkod PRETTY_PRINTER ?= sol-pretty-printer -PROP_TO_PRED ?= prop_to_pred +PROP_TO_PRED ?= prop-to-pred export |