1 files changed, 0 insertions, 10 deletions
diff --git a/interfaces.h b/interfaces.h
deleted file mode 100644
index 47dc4790..00000000
--- a/interfaces.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#pragma once
-
-// Compilation of user-defined interfaces
-
-#include "ast.h"
-#include "environment.h"
-
-void compile_interface_def(env_t *env, ast_t *ast);
-
-// vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1,\:0