Various cleanups to the model-checking user interface

[simgrid.git] / src / xbt / automaton / automaton_create.c

diff --git a/src/xbt/automaton/automaton_create.c b/src/xbt/automaton/automaton_create.c
deleted file mode 100644 (file)
index 0b2ed30..0000000
--- a/src/xbt/automaton/automaton_create.c
+++ /dev/null
@@ -1,12 +0,0 @@
-#include "xbt/automatonparse_promela.h"
-#include "y.tab.c"
-#include "automaton_create.h"
-
-xbt_automaton_t xbt_create_automaton(const char *file){
-
-  init();
-  yyin = fopen(file, "r");
-  yyparse();
-  return automaton;
-
-}