From 17974f325b94010f784b745d481bbd343ba59bb1 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 19 Jun 2006 15:51:24 +0000 Subject: [PATCH] typo cpying the formal semantic --- helm/software/components/tactics/continuationals.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/tactics/continuationals.ml b/helm/software/components/tactics/continuationals.ml index 7ea357e89..eeff9f9bf 100644 --- 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, ([], _, [], _) :: _ -> -- 2.39.2