Fix generation of fresh classes during normalization

1 files changed, 4 insertions, 1 deletions

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]]