X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fpure.ml;h=be08bb4ae3086086e704824d2636c9d843c38409;hb=refs%2Fheads%2Fstrong_simple_measure;hp=3bd7ec491a11059bd91c9a90800f58175fb62cf6;hpb=6e5e1945c99404f171f90a93c18c336aaeaab546;p=fireball-separation.git

diff --git a/ocaml/pure.ml b/ocaml/pure.ml
index 3bd7ec4..be08bb4 100644
--- a/ocaml/pure.ml
+++ b/ocaml/pure.ml
@@ -75,7 +75,7 @@ let unwind ?(tbl = Hashtbl.create 317) m =
     | V n ->
        (try
          lift l (cache_unwind (List.nth e (n - l)))
-        with Failure _ -> V (n - l))
+        with Failure _ -> V n)
     | L t -> L (aux (l+1) t)
     | B -> B in
   let t = aux 0 t in
@@ -115,7 +115,7 @@ in
         (try
           let e,t,s' = List.nth e n in
           aux g (e,t,s'@s)
-         with Invalid_argument "List.nth" | Failure _ -> m
+         with Invalid_argument _ | Failure _ -> m
          )
      | (e, B, _) -> (e, B, [])
      | (e, L t, []) ->