diff --git a/src/util/rb_multi_map.h b/src/util/rb_multi_map.h
index b33f97961..c0a0f9c2f 100644
--- a/src/util/rb_multi_map.h
+++ b/src/util/rb_multi_map.h
@@ -6,8 +6,6 @@ Author: Daniel Selsam
 #pragma once
 #include "util/rb_map.h"
 #include "util/list.h"
-#include "kernel/expr.h"
-#include "library/io_state_stream.h"
 
 namespace lean {