nits

egraphs-good · Jan 27, 2024 · e0854d5 · e0854d5
1 parent 7d2c619
commit e0854d5
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/tree_unique_args/src/arg_used_analysis.rs b/tree_unique_args/src/arg_used_analysis.rs
@@ -3,7 +3,7 @@ use strum::IntoEnumIterator;
 
 fn arg_used_rule_for_ctor(ctor: Constructor) -> Option<String> {
     if ctor == Constructor::Arg {
-        return Some(format!(
+        return Some(
             "
             (rule (
                 (ExprUsesArgs-demand e)
@@ -12,7 +12,8 @@ fn arg_used_rule_for_ctor(ctor: Constructor) -> Option<String> {
                 (set (ExprUsesArgs e) (set-of i))
             )
             :ruleset always-run)"
-        ));
+                .to_string(),
+        );
     }
 
     let children_queries = ctor