From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 19 Jun 2006 15:51:24 +0000 (+0000)
Subject: typo cpying the formal semantic
X-Git-Tag: 0.4.95@7852~1292
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8086c4ffd8c34d459b82c5714f9d432ce45df461;p=helm.git

typo cpying the formal semantic
---

diff --git a/components/tactics/continuationals.ml b/components/tactics/continuationals.ml
index 7ea357e89..eeff9f9bf 100644
--- a/components/tactics/continuationals.ml
+++ b/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, ([], _, [], _) :: _ ->