diff --git a/src/main/java/tmltranslator/dsez3engine/OptimizationModel.java b/src/main/java/tmltranslator/dsez3engine/OptimizationModel.java
index 917f6207441285c140e0682f06fb6bbfe08333d9..d3015df328cd49be8a0e8f648f3f22c56b4a626f 100644
--- a/src/main/java/tmltranslator/dsez3engine/OptimizationModel.java
+++ b/src/main/java/tmltranslator/dsez3engine/OptimizationModel.java
@@ -823,7 +823,7 @@ public class OptimizationModel {
 
     }
 
-    
+
 
 
 }