1 files changed, 1 insertions, 1 deletions

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