From 91e806ffb61ad056c26166b8600c93e2c9ecbd1d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 26 Dec 2025 11:04:01 -0800
Subject: [PATCH] Compiler fix.

---
 src/misc/util/utilAigSim.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/misc/util/utilAigSim.c b/src/misc/util/utilAigSim.c
index a4dcdd1e0..a12d71d81 100644
--- a/src/misc/util/utilAigSim.c
+++ b/src/misc/util/utilAigSim.c
@@ -31,9 +31,9 @@
 
 #ifdef AIGSIM_LIBRARY_ONLY
 #include "misc/util/abc_namespaces.h"
+ABC_NAMESPACE_IMPL_START
 #endif
 
-ABC_NAMESPACE_IMPL_START
 
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
@@ -656,6 +656,8 @@ int main(int argc, char **argv) {
 ///                       END OF FILE                                ///
 ////////////////////////////////////////////////////////////////////////
 
-
+#ifdef AIGSIM_LIBRARY_ONLY
 ABC_NAMESPACE_IMPL_END
+#endif
+