From 633529ca7a911646048886b7e2e0d1d98c94fdf3 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Thu, 16 Jul 2020 17:47:32 +0100
Subject: Update to JRDFox v3.1.0

---
 src/main/scala/rsacomb/RDFoxRuleShards.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

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])
 
-- 
cgit v1.2.3