diff --git a/src/main/java/ca/mcscert/jtet/eventbgenerator/EventBVariablesDeclarationGenerator.java b/src/main/java/ca/mcscert/jtet/eventbgenerator/EventBVariablesDeclarationGenerator.java
index 35a4fcff3d365d6ba23014027014e1510f5ca2f1..d45c607d59658a9468619f4c8729a586885da8c3 100644
--- a/src/main/java/ca/mcscert/jtet/eventbgenerator/EventBVariablesDeclarationGenerator.java
+++ b/src/main/java/ca/mcscert/jtet/eventbgenerator/EventBVariablesDeclarationGenerator.java
@@ -40,7 +40,7 @@ import java.util.Collection;
 final public class EventBVariablesDeclarationGenerator implements VariablesDeclarationGenerator {
     public final static EventBVariablesDeclarationGenerator Generator = new EventBVariablesDeclarationGenerator();
 
-    public String GenerateVariableType(Type type) {
+    private String GenerateType(Type type) {
         if (type instanceof RealType) {
             return "ℤ";
         } else {
@@ -93,7 +93,7 @@ final public class EventBVariablesDeclarationGenerator implements VariablesDecla
             generateInvariantXmlPre(ret, invariantsNum);
             ret.append(var.outputName());
             ret.append(" ∈ ");
-            ret.append(GenerateVariableType(var.type()));
+            ret.append(GenerateType(var.type()));
             ret.append(invariantXmlPost);
             invariantsNum++;
         }
@@ -134,7 +134,7 @@ final public class EventBVariablesDeclarationGenerator implements VariablesDecla
             generateInitEventActionXmlPre(ret, actionNo);
             ret.append(var.outputName());
             ret.append(" :∈ ");
-            ret.append(GenerateVariableType(var.type()));
+            ret.append(GenerateType(var.type()));
             generateInitEventActionXmlPost(ret, actionNo);
             ret.append("\n");
         }