diff --git a/src/main/scala/leon/datagen/VanuatooDataGen.scala b/src/main/scala/leon/datagen/VanuatooDataGen.scala
index 1dbb5caa3bba8ac814ea9bd7d1374f30771c5cc7..e6e9fe451fda7bc6af671817a49fb62232cf500b 100644
--- a/src/main/scala/leon/datagen/VanuatooDataGen.scala
+++ b/src/main/scala/leon/datagen/VanuatooDataGen.scala
@@ -200,6 +200,9 @@ class VanuatooDataGen(ctx: LeonContext, p: Program) extends DataGenerator {
 
           (EvaluationResults.Successful(result), if (!pattern._2) Some(pattern._1) else None)
         } catch {
+          case e : StackOverflowError  =>
+            (EvaluationResults.RuntimeError(e.getMessage), None)
+
           case e : ClassCastException  =>
             (EvaluationResults.RuntimeError(e.getMessage), None)