about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--src/libmain/shared.hh2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh
index f70f6893b4bd..c99810c78a20 100644
--- a/src/libmain/shared.hh
+++ b/src/libmain/shared.hh
@@ -1,7 +1,7 @@
 #ifndef __SHARED_H
 #define __SHARED_H
 
-#include "types.hh"
+#include "util.hh"
 
 #include <signal.h>