From 93cfe564a42fb529da61d640fa9bf120df95c171 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 24 May 2018 19:30:59 +0200 Subject: Let's not ignore the graph transfo result. --- src/hastabel/World.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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; } -- cgit v1.2.3-70-g09d2