Fix CFG predicate for GoalData.

cognitive-engineering-lab · Feb 23, 2024 · d7d6fe0 · d7d6fe0
1 parent 76a6e29
commit d7d6fe0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/argus/src/proof_tree/serialize.rs b/crates/argus/src/proof_tree/serialize.rs
@@ -48,7 +48,7 @@ impl GoalInterner {
       num_vars,
       is_lhs_ty_var,
 
-      #[cfg(feature = "testing")]
+      #[cfg(debug_assertions)]
       debug_comparison: format!("{:?}", goal.predicate.kind().skip_binder()),
     });