diff --git a/library/init/lean/parser/parser.lean b/library/init/lean/parser/parser.lean
index 4f568f86d7..2b8aabda33 100644
--- a/library/init/lean/parser/parser.lean
+++ b/library/init/lean/parser/parser.lean
@@ -9,7 +9,6 @@ import init.lean.syntax
 import init.lean.toexpr
 import init.lean.environment
 import init.lean.attributes
-import init.lean.evalconst
 import init.lean.parser.trie
 import init.lean.parser.identifier
 import init.lean.compiler.initattr