typo cpying the formal semantic

diff --git a/helm/software/components/tactics/continuationals.ml b/helm/software/components/tactics/continuationals.ml
index 7ea357e89679694087ce106e890559b4e028d686..eeff9f9bf537783b0e859cfc686cbd0e09aa41b9 100644 (file)
--- a/helm/software/components/tactics/continuationals.ml
+++ b/helm/software/components/tactics/continuationals.ml
@@ -302,7 +302,7 @@ struct
           debug_print (lazy ("closed: "
             ^ String.concat " " (List.map string_of_int gcn)));
           let stack =
-            (zero_pos gon, t @~- gcn, k @~- gon, tag) :: deep_close gcn s
+            (zero_pos gon, t @~- gcn, k @~- gcn, tag) :: deep_close gcn s
           in
           sn, stack
       | Dot, ([], _, [], _) :: _ ->