From ad57286da3a7981bfab5ddd7eaf67152b08fd2da Mon Sep 17 00:00:00 2001
From: Runming Li <runmingl@andrew.cmu.edu>
Date: Wed, 5 Jul 2023 23:07:40 -0700
Subject: [PATCH] minor cleanup

---
 requirements.txt | 1 -
 src/main.py      | 3 ++-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/requirements.txt b/requirements.txt
index f1bd066..1d9a863 100644
--- 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
index 7b07186..2600ea5 100644
--- 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__':