1 files changed, 2 insertions, 1 deletions

diff --git a/src/main/scala/uk/ac/ox/cs/acqua/Main.scala b/src/main/scala/uk/ac/ox/cs/acqua/Main.scala
index 221c0e2..62cf87c 100644
--- a/src/main/scala/uk/ac/ox/cs/acqua/Main.scala
+++ b/src/main/scala/uk/ac/ox/cs/acqua/Main.scala
@@ -62,9 +62,10 @@ object Acqua extends App {
   else {
       Utility logInfo "The ontology is inconsistent!"
       reasoner.dispose();
-      // Exit somehow
+      sys.exit(0)
   }
 
+  /* Query Answering */
   if (config contains 'queries) {
     val queryManager = reasoner.getQueryManager()
     config('queries).get[List[os.Path]].map(path => {