1 files changed, 2 insertions, 2 deletions

diff --git a/src/main/scala/rsacomb/RDFoxRuleShards.scala b/src/main/scala/rsacomb/RDFoxRuleShards.scala
index bce31d2..8f72983 100644
--- a/src/main/scala/rsacomb/RDFoxRuleShards.scala
+++ b/src/main/scala/rsacomb/RDFoxRuleShards.scala
@@ -1,6 +1,6 @@
 package rsacomb
 
-import tech.oxfordsemantic.jrdfox.logic.{Rule, Atom, Literal}
+import tech.oxfordsemantic.jrdfox.logic.{Atom, BodyFormula}
 
-case class RDFoxRuleShards(res : List[Atom], ext : List[Literal])
+case class RDFoxRuleShards(res : List[Atom], ext : List[BodyFormula])