diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-30 16:50:09 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-30 16:50:09 -0600 |
| commit | 32f8874353e12f273212d153091f084617faea2e (patch) | |
| tree | 3a5aa8b8be6cfe0f1cd4fd3ef1fe3bb85e394d93 /src/printer/smt2 | |
| parent | 1b73aefa4a33b5033390f7d6c9c96fa58cd3a298 (diff) | |
Use new let binding in AST printer (#5529)
Required for removing the old DagificationVisitor
Diffstat (limited to 'src/printer/smt2')
| -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 9e9500bdb..d3e9b48e4 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -40,7 +40,6 @@ #include "theory/arrays/theory_arrays_rewriter.h" #include "theory/datatypes/sygus_datatype_utils.h" #include "theory/quantifiers/quantifiers_attributes.h" -#include "theory/substitutions.h" #include "theory/theory_model.h" #include "util/smt2_quote_string.h" |