1 files changed, 0 insertions, 15 deletions
diff --git a/proofs/lfsc_checker/code.h b/proofs/lfsc_checker/code.h
deleted file mode 100644
index 9d00a6378..000000000
--- a/proofs/lfsc_checker/code.h
+++ /dev/null
@@ -1,15 +0,0 @@
-#ifndef SC2_CODE_H
-#define SC2_CODE_H
-
-#include "expr.h"
-
-Expr *read_code();
-Expr *check_code(Expr *); // compute the type for the given code
-Expr *run_code(Expr *); 
-
-int read_index();
-
-extern bool dbg_prog;
-extern bool run_scc;
-
-#endif