From 88cd6d9b202287ce43ffab571a6a63d7c8dc6de1 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jun 2018 01:05:17 +0200
Subject: [PATCH] Fix lifting bug in unwind

problems/simple.* now pass
---
 ocaml/pure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ocaml/pure.ml b/ocaml/pure.ml
index e04b4ea..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
-- 
2.39.2