diff --git a/src/rustint/core.clj b/src/rustint/core.clj
index 790370c..6a4ab26 100644
--- a/src/rustint/core.clj
+++ b/src/rustint/core.clj
@@ -2164,7 +2164,17 @@
 ;                                                                                           ^^^^^^^^^^^^  ^^^ ^^^^^^^^^^^^^^^^^^^^^^^
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 (defn restaurar-contexto-anterior [amb]
-  amb
+  (cond
+    (not= (get amb 3) :sin-errores) amb
+    :else (let [
+              ctx (get amb 4),
+              idx_frontier (last (get ctx 0)),
+              new_frontiers (pop (get ctx 0)),
+              popped_elemens (subvec (get ctx 1) 0 idx_frontier)
+           ]
+            (assoc amb 4 [new_frontiers popped_elemens])
+          )
+  )
 )
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;