From 5a0070bd27b0530cbfcfc6f643b191b8c54cbf23 Mon Sep 17 00:00:00 2001 From: Yihong Zhang Date: Mon, 29 Jan 2024 09:38:27 -0800 Subject: [PATCH] Update arg_used_analysis.rs --- tree_unique_args/src/arg_used_analysis.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tree_unique_args/src/arg_used_analysis.rs b/tree_unique_args/src/arg_used_analysis.rs index 8f6502169..9d08956b0 100644 --- 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 { 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))