| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-28 15:25:39 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-28 15:25:39 +0200 |
| commit | 688d3be723b19655edcd1fc1de413b54630d4589 (patch) | |
| tree | c0b95459b6b3f885a865110afa05ea709e5ccb57 /instr-to-kodkod/cfg-to-paths/Makefile | |
| parent | d1d9293f2654e297654f67b5bb0ba43fad7448d7 (diff) | |
Small changes? Forgot to commit.
Diffstat (limited to 'instr-to-kodkod/cfg-to-paths/Makefile')
| -rw-r--r-- | instr-to-kodkod/cfg-to-paths/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/instr-to-kodkod/cfg-to-paths/Makefile b/instr-to-kodkod/cfg-to-paths/Makefile index 1f6d6e2..49c1e83 100644 --- a/instr-to-kodkod/cfg-to-paths/Makefile +++ b/instr-to-kodkod/cfg-to-paths/Makefile @@ -26,7 +26,7 @@ $(error No MODEL_DIR defined as parameter.) endif ifeq ($(strip $(PATH_MODEL_DIR)),) -$(error No CFG_MODEL_DIR defined as parameter.) +$(error No PATH_MODEL_DIR defined as parameter.) endif ifeq ($(strip $(JAVA)),) |