From 305207787c3e07251587a02f897146f44e09d2be Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 10 May 2016 13:58:19 +0200
Subject: [PATCH] Fix another bug

---
 src/main/scala/leon/solvers/string/StringSolver.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/leon/solvers/string/StringSolver.scala b/src/main/scala/leon/solvers/string/StringSolver.scala
index 3de9bff4e..3f2c60647 100644
--- a/src/main/scala/leon/solvers/string/StringSolver.scala
+++ b/src/main/scala/leon/solvers/string/StringSolver.scala
@@ -376,7 +376,7 @@ object StringSolver {
       }
       constantPropagate(p).map(ps => {
         val newP = if(ps._2.nonEmpty) reduceProblem(ps._2)(p) else p
-        (ps._1, s ++ ps._2)
+        (newP, s ++ ps._2)
       })
     }
   }
-- 
GitLab