From a9ee742be71040138c6414a63b7327e05b1723fe Mon Sep 17 00:00:00 2001 From: nsensfel Date: Tue, 31 Oct 2017 10:44:05 +0100 Subject: Adds a Java version of prop-to-pred. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index e8242d7..a45b11d 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3-70-g09d2