diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index deb548acab2372327007e2749aed2a7719f00e57..bd90d8f1bac8d2d3c4c516a07a77fff8ba1c198c 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -70,6 +70,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
     private Map<Integer, SpecificationState> states;
     private Map<Long, SpecificationState> statesByID;
     private List<SpecificationState> pendingStates;
+
     //private List<SpecificationLink> links;
     private int nbOfLinks;
     private long stateID = 0;
@@ -914,6 +915,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
         }
     }
 
+
     public boolean oldEvaluateBoolExpression(String _expr, AvatarBlock _block, SpecificationBlock _sb) {
         String act = _expr;
         int cpt = 0;