From 8b79876f17c147729c794bf04e1d48c242b8daf8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 24 Dec 2025 22:37:14 -0800
Subject: [PATCH] Fixing continues.

---
 src/opt/util/util.cpp | 3 +--
 src/opt/util/util.h   | 2 ++
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/opt/util/util.cpp b/src/opt/util/util.cpp
index a1846d72b..d5f698337 100644
--- a/src/opt/util/util.cpp
+++ b/src/opt/util/util.cpp
@@ -9,7 +9,6 @@
 #include <csignal>
 #include <unistd.h>
 
-#include "misc/util/abc_namespaces.h"
 #include "util.h"
 
 #ifdef __linux__
@@ -125,7 +124,7 @@ void kill_on_parent_death(int sig)
 
   monitor_thread.detach();
 }
-  
+
 */
 
 #else // neither linux or OS X
diff --git a/src/opt/util/util.h b/src/opt/util/util.h
index b2b3a508c..24dd153a1 100755
--- a/src/opt/util/util.h
+++ b/src/opt/util/util.h
@@ -18,6 +18,8 @@
 
 #include <sys/time.h>
 
+#include "misc/util/abc_namespaces.h"
+
 ABC_NAMESPACE_CXX_HEADER_START
 
 class LogT {