[AbsPat] use only minimal lvals

prosyslab · Apr 3, 2024 · f6addce · f6addce
1 parent bad5055
commit f6addce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/absPat.ml b/src/absPat.ml
@@ -138,7 +138,7 @@ let abs_by_comps ?(new_ad = false) maps dug patch_comps snk alarm_exps alarm_lvs
   terms2str alarm_exps |> L.info "alarm_exps: %s";
   terms2str alarm_lvs |> L.info "alarm_lvs: %s";
   if Chc.subset patch_comps alarm_lvs then
-    ( collect_ast_rels dug snk alarm_lvs,
+    ( collect_ast_rels dug snk patch_comps,
       if new_ad then AbsDiff.change_use (StrSet.singleton snk) abs_diff
       else abs_diff )
   else