Fix lint

egraphs-good · Sep 14, 2023 · b56f547 · b56f547
1 parent 959b382
commit b56f547
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/python/tests/test_bindings.py b/python/tests/test_bindings.py
@@ -1,4 +1,3 @@
-import datetime
 import json
 import os
 import pathlib
@@ -104,13 +103,11 @@ def test_parse_and_run_program_exception(self):
 
     def test_run_rules(self):
         egraph = EGraph()
-        start_time = datetime.datetime.now()
         egraph.run_program(
             Datatype("Math", [Variant("Add", ["Math", "Math"])]),
             RewriteCommand("", Rewrite(Call("Add", [Var("a"), Var("b")]), Call("Add", [Var("b"), Var("a")]))),
             RunSchedule(Repeat(10, Run(RunConfig("")))),
         )
-        end_time = datetime.datetime.now()
 
         run_report = egraph.run_report()
         assert isinstance(run_report, RunReport)