From d7d6fe084b5fc9a4c2bd8523faed57cca1e345ca Mon Sep 17 00:00:00 2001
From: gavinleroy <gavinleroy6@gmail.com>
Date: Fri, 23 Feb 2024 18:06:30 +0100
Subject: [PATCH] Fix CFG predicate for GoalData.

---
 crates/argus/src/proof_tree/serialize.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/argus/src/proof_tree/serialize.rs b/crates/argus/src/proof_tree/serialize.rs
index 80dc274..530758a 100644
--- 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()),
     });