From c612bfdabd31729c6c6242c1c790b594808e3483 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Fri, 25 May 2018 11:01:56 +0200
Subject: ...

---
 src/hastabel2idp/Main.java | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/hastabel2idp/Main.java b/src/hastabel2idp/Main.java
index b590cb4..3f5e95b 100644
--- a/src/hastabel2idp/Main.java
+++ b/src/hastabel2idp/Main.java
@@ -26,11 +26,18 @@ public class Main
 
       if (!world.is_valid())
       {
+         System.out.println("# Failure.");
+
          return;
       }
 
       write_idp(world, params);
 
+      if (!world.is_valid())
+      {
+         return;
+      }
+
       System.out.println("# Done.");
    }
 
-- 
cgit v1.2.3-70-g09d2