diff --git a/src/main/scala/leon/solvers/z3/FairZ3Solver.scala b/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
index 466e1c0aed5c1398cac87dd03c9228a8494e0232..42f60df918e66683928e4525f1316e493f71eb3e 100644
--- a/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
+++ b/src/main/scala/leon/solvers/z3/FairZ3Solver.scala
@@ -271,7 +271,7 @@ class FairZ3Solver(context : LeonContext)
           // It's better to simply take the min of the generations.
           // assert(exGen == gen, "Mixing the same id "+id+" with various generations "+ exGen+" and "+gen)
 
-          val minGen = gen min exGen
+          val minGen = gen max exGen
 
           blockersInfo(id) = ((minGen, origGen, z3ast, fis++exFis))
         case None =>