diff --git a/src/library/blast/blast.cpp b/src/library/blast/blast.cpp
index 7e8f09334..c0e2b6981 100644
--- a/src/library/blast/blast.cpp
+++ b/src/library/blast/blast.cpp
@@ -13,7 +13,6 @@ Author: Leonardo de Moura
 #include "library/reducible.h"
 #include "library/normalize.h"
 #include "library/class.h"
-#include "library/util.h"
 #include "library/type_inference.h"
 #include "library/projection.h"
 #include "library/tactic/goal.h"