1 files changed, 0 insertions, 7 deletions
diff --git a/src/compile/promotion.h b/src/compile/promotion.h
deleted file mode 100644
index 2cfe0cbf..00000000
--- a/src/compile/promotion.h
+++ /dev/null
@@ -1,7 +0,0 @@
-
-#include "../ast.h"
-#include "../environment.h"
-#include "../types.h"
-
-bool promote(env_t *env, ast_t *ast, Text_t *code, type_t *actual, type_t *needed);
-Text_t compile_to_type(env_t *env, ast_t *ast, type_t *t);