1 files changed, 0 insertions, 13 deletions
diff --git a/isabelle-dump/build.rs b/isabelle-dump/build.rs
deleted file mode 100644
index b11761d..0000000
--- a/isabelle-dump/build.rs
+++ /dev/null
@@ -1,13 +0,0 @@
-use cfgrammar::yacc::YaccKind;
-use lrlex::LexerBuilder;
-use lrpar::{CTParserBuilder};
-
-fn main() -> Result<(), Box<dyn std::error::Error>> {
-    let lex_rule_ids_map = CTParserBuilder::new()
-        .yacckind(YaccKind::Grmtools)
-        .process_file_in_src("calc.y")?;
-    LexerBuilder::new()
-        .rule_ids_map(lex_rule_ids_map)
-        .process_file_in_src("calc.l")?;
-    Ok(())
-}