diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-02 16:09:28 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-02 16:09:28 -0600 |
commit | 768157d3bf78337a603004a2a47026ecf1b70612 (patch) | |
tree | 55f322e3e99b452ee7ae2e9d6ba256b5a213e3c7 /src/printer/smt2/smt2_printer.cpp | |
parent | e2c0a2d6a4627ac750f56004175eb24975aeaab7 (diff) |
Remove dagification visitor (#5574)
This has fully been replaced by the new let binding.
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index d3e9b48e4..6f03553ae 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -30,7 +30,6 @@ #include "options/language.h" #include "options/printer_options.h" #include "options/smt_options.h" -#include "printer/dagification_visitor.h" #include "printer/let_binding.h" #include "proof/unsat_core.h" #include "smt/command.h" |