1 files changed, 0 insertions, 28 deletions
diff --git a/proofs/lfsc_checker/libwriter.h b/proofs/lfsc_checker/libwriter.h
deleted file mode 100644
index 91db5e911..000000000
--- a/proofs/lfsc_checker/libwriter.h
+++ /dev/null
@@ -1,28 +0,0 @@
-#ifndef LIB_WRITER_H
-#define LIB_WRITER_H
-
-#include "expr.h"
-#include <map>
-
-class libwriter
-{
-private:
-  std::vector< Expr* > syms;
-  std::vector< Expr* > defs;
-
-  std::vector< Expr* > judgements;
-  //get the variable name
-  void get_var_name( const std::string& n, std::string& nn );
-public:
-  libwriter(){}
-  virtual ~libwriter(){}
-
-  void add_symbol( Expr* s, Expr* t ) { 
-    syms.push_back( s );
-    defs.push_back( t ); 
-  }
-
-  void write_file();
-};
-
-#endif