Skip to content
Snippets Groups Projects
Commit 07ed0695 authored by François Bobot's avatar François Bobot
Browse files

[Quant] Fix substrie 

    Was doing the inverse
parent ed8612a2
No related branches found
No related tags found
1 merge request!26Fix and domain propagation
Hide whitespace changes
Inline Side-by-side
colibri2/theories/quantifier/SubstTrie.ml
+ 1
− 1
View file @ 07ed0695
...@@ -49,7 +49,7 @@ let find_and_add (t : bool t) (s : Ground.Subst.t) = ...@@ -49,7 +49,7 @@ let find_and_add (t : bool t) (s : Ground.Subst.t) =
not_set := true; not_set := true;
true) true)
tv (fold_of_ty_map s.ty)); tv (fold_of_ty_map s.ty));
!not_set not !not_set
let find_def ~default (t : _ t) (s : Ground.Subst.t) = let find_def ~default (t : _ t) (s : Ground.Subst.t) =
let tv = let tv =
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment