1 files changed, 1 insertions, 1 deletions

diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index e4348d8..05b6218 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -216,7 +216,7 @@ trait RSAOntology {
           .toList
       val axioms = tbox ++ rbox
       val varX = Variable.create("X")
-      val visitor = ProgramGenerator(ontology, varX, unsafeRoles)
+      val visitor = ProgramGenerator(ontology, varX)
       val facts = ProgramGenerator.NIs(individuals)
       val rules1 = ProgramGenerator.generateRoleRules(
         axioms