diff --git a/src/Core/Rename.hs b/src/Core/Rename.hs
deleted file mode 100644
index bf28005..0000000
--- a/src/Core/Rename.hs
+++ /dev/null
@@ -1,11 +0,0 @@
-module Core.Rename
-    ( renameCore
-    )
-    where
-----------------------------------------------------------------------------------
-import Core.Syntax
-----------------------------------------------------------------------------------
-
-renameCore :: Program Name -> Program Unique
-renameCore = undefined
-