aboutsummaryrefslogtreecommitdiff
path: root/src/test
diff options
context:
space:
mode:
Diffstat (limited to 'src/test')
-rw-r--r--src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala
index ffefc5c..abfe1ee 100644
--- a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala
+++ b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala
@@ -174,7 +174,7 @@ class Ontology1_CanonicalModelSpec
174 174
175 renderer.render( 175 renderer.render(
176 AsomeValuesFromSiC 176 AsomeValuesFromSiC
177 ) should "produce 1 rule" in { 177 ) should "produce 1 rule" ignore {
178 val term = Variable.create("X") 178 val term = Variable.create("X")
179 val unsafe = ontology.unsafeRoles 179 val unsafe = ontology.unsafeRoles
180 val (facts, rules) = 180 val (facts, rules) =