minor cleanup

runmingl · Jul 6, 2023 · ad57286 · ad57286
1 parent 566bc83
commit ad57286
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/requirements.txt b/requirements.txt
@@ -3,4 +3,3 @@ graphviz>=0.20.1
 dot2tex>=2.11.3
 lark>=1.1.5
 lark-parser>=0.11.3
-pylogics>=0.2.1
diff --git a/src/main.py b/src/main.py
@@ -19,7 +19,7 @@ def ltl2regex(self, formula: str):
     def ltl2timeline(self, formula: str, filename: str = "ltl", output_format: str = "pdf"):
         g = make_graph(aut_to_regex(aut_to_graph(
             ltl_to_aut(formula))), filename, output_format)
-        g.view()
+        g.render()
         if output_format == 'latex':
             gv_file = open(f"{filename}1.gv", "w")
             tex_file = open(f"{filename}.tex", "w")
@@ -30,6 +30,7 @@ def ltl2timeline(self, formula: str, filename: str = "ltl", output_format: str =
             clean_up(f"{filename}.gv.pdf")
             clean_up(f"{filename}1.gv")
             post_process_latex(filename)
+        print(f"Image file `{filename}` generated.")
 
 
 if __name__ == '__main__':