diff --git a/src/library/compiler/preprocess.cpp b/src/library/compiler/preprocess.cpp
index 5dcf363bab..db8247703e 100644
--- a/src/library/compiler/preprocess.cpp
+++ b/src/library/compiler/preprocess.cpp
@@ -22,7 +22,6 @@ Author: Leonardo de Moura
 #include "library/module.h"
 #include "library/max_sharing.h"
 #include "library/vm/vm.h"
-#include "library/compiler/old_util.h"
 #include "library/compiler/preprocess.h"
 #include "library/compiler/compiler_step_visitor.h"
 #include "library/compiler/lambda_lifting.h"