Update arg_used_analysis.rs

egraphs-good · Jan 29, 2024 · 5a0070b · 5a0070b
1 parent e0854d5
commit 5a0070b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tree_unique_args/src/arg_used_analysis.rs b/tree_unique_args/src/arg_used_analysis.rs
@@ -97,7 +97,7 @@ pub(crate) fn arg_used_analysis_rules() -> Vec<String> {
     ESort::iter()
         .map(|sort| {
             "
-            (function *UsesArgs (*) I64Set :merge (set-union old new))
+            (function *UsesArgs (*) I64Set :merge (set-intersect old new))
             (relation *UsesArgs-demand (*))
             
             (rule ((*UsesArgs-demand e))