From 3eabeb4e2e1020a6842b50a14cc617c40d3d198e Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 1 Feb 2019 21:41:54 -0600 Subject: [PATCH] fix(bstack): another stupid error --- src/util/Backtrack_stack.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/Backtrack_stack.ml b/src/util/Backtrack_stack.ml index 87e8b702..a23056f1 100644 --- a/src/util/Backtrack_stack.ml +++ b/src/util/Backtrack_stack.ml @@ -32,5 +32,5 @@ let pop_levels (self:_ t) (n:int) ~f : unit = let x = Vec.pop self.vec in f x done; - Vec.shrink self.lvls i + Vec.shrink self.lvls new_lvl )