From 4879515113b2bc107ee0e35ad164de42f6c0d059 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Mon, 5 Apr 2021 13:11:33 +0100
Subject: Fix generation of fresh classes during normalization

---
 src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala
index 3c4dd5c..a771e3d 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala
@@ -26,7 +26,10 @@ class Normalizer() {
   import uk.ac.ox.cs.rsacomb.implicits.JavaCollections._
 
   private var counter = -1
-  def freshOWLClass(): OWLClass = factory.getOWLClass(s"X${counter += 1}")
+  def freshOWLClass(): OWLClass = {
+    counter += 1
+    factory.getOWLClass(s"X$counter")
+  }
 
   /** Normalizes a
     * [[org.semanticweb.owlapi.model.OWLLogicalAxiom OWLLogicalAxiom]]
-- 
cgit v1.2.3