diff --git a/src/core/naming.ml b/src/core/naming.ml
index 3efef462a5e..f239b79ed2b 100644
--- a/src/core/naming.ml
+++ b/src/core/naming.ml
@@ -1,5 +1,4 @@
 open Globals
-open Ast
 open Type
 open Common
 open Error