From 6532db6a2cc9131e8039bd0c0e53190cc30b3599 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Thu, 12 May 2022 11:21:49 +0100
Subject: Adjust CLI

---
 src/main/scala/uk/ac/ox/cs/acqua/Main.scala | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/main/scala/uk/ac/ox/cs/acqua/Main.scala')

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 => {
-- 
cgit v1.2.3