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

fix(model builder): allow multiple add

Browse source
This commit is contained in:
Simon Cruanes 2022-09-01 22:33:59 -04:00
parent d741b4160d
commit 47a0b075f0
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/smt/model_builder.ml
View file

@ -37,10 +37,10 @@ let require_eval (self : t) t : unit =
let mem self t : bool = T.Tbl.mem self.m t let mem self t : bool = T.Tbl.mem self.m t
let add (self : t) ?(subs = []) t v : unit = let add (self : t) ?(subs = []) t v : unit =
assert (not @@ T.Tbl.mem self.m t); if not @@ T.Tbl.mem self.m t then (
T.Tbl.add self.m t v; T.Tbl.add self.m t v;
List.iter (fun u -> require_eval self u) subs; List.iter (fun u -> require_eval self u) subs
() )
type eval_cache = Term.Internal_.cache type eval_cache = Term.Internal_.cache