From a66cb88c78922a98c43873577bfed95103896f72 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 18 Oct 2025 13:30:46 +0200
Subject: [PATCH] fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/ast.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index 84f2e9c1b..bff812ec4 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -1674,7 +1674,7 @@ bool ast_manager::slow_not_contains(ast const * n) {
 }
 #endif
 
-#if 0
+#if 1
 static unsigned s_count = 0;
 
 static void track_id(ast_manager& m, ast* n, unsigned id) {