diff --git a/printers/vcd_witness_printer.cpp b/printers/vcd_witness_printer.cpp index b4453dc6..0f804e08 100644 --- a/printers/vcd_witness_printer.cpp +++ b/printers/vcd_witness_printer.cpp @@ -16,7 +16,6 @@ #include "utils/logger.h" #include "frontends/btor2_encoder.h" -#include "smt-switch/boolector_factory.h" #include "vcd_witness_printer.h"