From 932b0a794c06a224a96b265935a38a4c7b851c5e Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Tue, 8 Sep 2020 18:43:40 +0200
Subject: Add full set of rules for filtering program

---
 src/main/scala/rsacomb/RSA.scala | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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

diff --git a/src/main/scala/rsacomb/RSA.scala b/src/main/scala/rsacomb/RSA.scala
index edd3758..9125f9f 100644
--- a/src/main/scala/rsacomb/RSA.scala
+++ b/src/main/scala/rsacomb/RSA.scala
@@ -50,9 +50,10 @@ object RSA extends RSAOntology {
   val test_query =
     Query.create(QueryType.SELECT, false, testAnswerVars, testFormula)
 
-  def internal(name: String): IRI =
+  def internal(name: Any): IRI =
     IRI.create(
-      Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI + name
+      Prefixes.getPrefixIRIsByPrefixName.get("internal:").getIRI
+        + name.toString
     )
 
   // TODO: move this somewhere else... maybe an OntoUtils class or something.
-- 
cgit v1.2.3