simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-11 05:28:34 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Removed Stack.fold for compat with ocaml < 4.03

Browse source
This commit is contained in:
Guillaume Bury 2016-07-26 15:35:22 +02:00
parent 3c6da0ffdc
commit 09166d0370
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/core/internal.ml
View file

@ -1232,10 +1232,11 @@ module Make
(* Filter the current buffer of clauses to remove potential assumptions (* Filter the current buffer of clauses to remove potential assumptions
with too high a user level, with too high a user level,
or else, with later pushes, these assumptions might be added. *) or else, with later pushes, these assumptions might be added. *)
let cl = Stack.fold (fun acc c -> let cl = ref [] in
if c.c_level > l then acc else c :: acc) [] env.clauses_to_add in Stack.iter (fun c ->
if c.c_level <= l then cl := c :: !cl) env.clauses_to_add;
Stack.clear env.clauses_to_add; Stack.clear env.clauses_to_add;
List.iter (fun c -> Stack.push c env.clauses_to_add) cl; List.iter (fun c -> Stack.push c env.clauses_to_add) !cl;
(* Get back the user level *) (* Get back the user level *)
let ul = Vec.get env.user_levels l in let ul = Vec.get env.user_levels l in