From e1a04294ed8737444e40323474f4084cb64c1d55 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 17 Nov 2020 14:19:08 +0000
Subject: Remove implicit RSAOntology conversion

This was causing problems without giving any significant advantage. Now
it will be easier to refactor classes like RSA, RSAOntology,
CanonicalModel.
---
 src/main/scala/rsacomb/Main.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/scala/rsacomb/Main.scala')

diff --git a/src/main/scala/rsacomb/Main.scala b/src/main/scala/rsacomb/Main.scala
index 3963981..8270205 100644
--- a/src/main/scala/rsacomb/Main.scala
+++ b/src/main/scala/rsacomb/Main.scala
@@ -52,7 +52,7 @@ object RSAComb extends App {
    * case.
    */
 
-  val ontology: RSAOntology = RSA.loadOntology(ontoPath)
+  val ontology = RSAOntology(ontoPath)
   if (ontology.isRSA) {
 
     /* Load query */
-- 
cgit v1.2.3