From e325a9c6282a4a98bf6799f8d04b3cbc6e56fca2 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 9 Sep 2020 17:03:42 +0200
Subject: Move reifing code under `FilteringProgram` class

---
 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 d2bc2a8..a449db4 100644
--- a/src/main/scala/rsacomb/Main.scala
+++ b/src/main/scala/rsacomb/Main.scala
@@ -57,7 +57,7 @@ object RSAComb {
       val query = RSA.test_query
 
       /* Compute the filtering program from the given query */
-      val filter = ontology.getFilteringProgram(query)
+      val filter = ontology.filteringProgram(query)
 
       /* ... */
 
-- 
cgit v1.2.3