Revert to super traversal

epfl-lara · Mar 9, 2021 · 9574673 · 9574673
1 parent 304b5a2
commit 9574673
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/main/scala/stainless/extraction/imperative/ReturnElimination.scala b/core/src/main/scala/stainless/extraction/imperative/ReturnElimination.scala
@@ -50,7 +50,7 @@ trait ReturnElimination
           addExpression(currentId, expr)
 
         case s.Operator(es, _) =>
-          es.map(traverse(_, currentId))
+          super.traverse(expr, currentId)
 
           if (exprHasReturn.contains(currentId) && es.exists(exprHasReturn(currentId)))
             addExpression(currentId, expr)