From 39e3bc4cfda45ff8f7e110cda56b69497247dc14 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Fri, 1 Mar 2019 09:31:07 +0100
Subject: [PATCH] Update on Optimization model

---
 src/main/java/tmltranslator/dsez3engine/OptimizationModel.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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