From 974f10616c5f3b9e2251f0d3350e705adbc32f72 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 28 Oct 2020 17:49:50 +0100
Subject: Adapt test to new `cycle` method

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

(limited to 'src/main/scala')

diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala
index 6d39bae..b81a8f5 100644
--- a/src/main/scala/rsacomb/RSAOntology.scala
+++ b/src/main/scala/rsacomb/RSAOntology.scala
@@ -346,10 +346,12 @@ trait RSAOntology {
         tripleARB = Seq(classA, roleR, classB).hashCode
         tripleDSC = Seq(classD, roleS, classC).hashCode
         individual =
-          if (tripleARB < tripleDSC) {
-            RSA.internal("v0_" ++ tripleDSC.hashCode.toString())
-          } else {
+          if (tripleARB > tripleDSC) {
             RSA.internal("v1_" ++ tripleDSC.hashCode.toString())
+          } else {
+            // Note that this is also the case for
+            // `tripleARB == tripleDSC`
+            RSA.internal("v0_" ++ tripleDSC.hashCode.toString())
           }
       } yield individual
     }
-- 
cgit v1.2.3