diff --git a/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala b/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
index 755ed3dc93ea5f3cd7e1dbe4b811a5e4668c2e4b..3d38e54a80f8a4ce9d70d81dc1e01abac91c0ca3 100644
--- a/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
+++ b/src/main/scala/inox/solvers/smtlib/SMTLIBSolver.scala
@@ -73,8 +73,8 @@ trait SMTLIBSolver extends Solver with SMTLIBTarget with SMTLIBDebugger {
                     val value = fromSMT(e, v.getType)(Map(), modelFunDefs)
                     Some(v.toVal -> value)
                   } catch {
-                    case _: Unsupported =>
-                      None
+                    case _: Unsupported => None
+                    case _: java.lang.StackOverflowError => None
                   }
                 case _ => None
               }.toMap