1 files changed, 0 insertions, 30 deletions
diff --git a/proofs/lfsc_checker/position.h b/proofs/lfsc_checker/position.h
deleted file mode 100644
index a5c51ffc6..000000000
--- a/proofs/lfsc_checker/position.h
+++ /dev/null
@@ -1,30 +0,0 @@
-#ifndef sc2__position_h
-#define sc2__position_h
-
-#include <iostream>
-#include <stdio.h>
-
-class Position {
-public:
-  const char *filename;
-  int linenum; 
-  int colnum;
-
-  Position(const char *_f, int l, int c) : filename(_f), linenum(l), colnum(c)
-  {}
-  void print(std::ostream &os) {
-    os << filename;
-    if (colnum == -1) {
-      char tmp[1024];
-      sprintf(tmp, ", line %d, end of column: ", linenum);
-      os << tmp;
-    }
-    else {
-      char tmp[1024];
-      sprintf(tmp, ", line %d, column %d: ", linenum, colnum);
-      os << tmp;
-    }
-  }
-};
-
-#endif