summaryrefslogtreecommitdiff |
diff options
-rw-r--r-- | src/hastabel/World.java | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/hastabel/World.java b/src/hastabel/World.java index 0139af5..d7dc2a0 100644 --- a/src/hastabel/World.java +++ b/src/hastabel/World.java @@ -52,7 +52,10 @@ public class World extends LogicWorld parser.lang_file(this); - (new GraphToFirstOrder("path_")).run(this); + if (!is_erroneous) + { + is_erroneous = !(new GraphToFirstOrder("path_")).run(this); + } return !is_erroneous; } |