From 6581b99c37f9c402c9ecc9e355aeafe6a8ca1459 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81ron=20Ricardo=20Perez-Lopez?= Date: Sat, 14 Sep 2024 01:31:25 -0700 Subject: [PATCH] Remove unneeded boolector include --- printers/vcd_witness_printer.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/printers/vcd_witness_printer.cpp b/printers/vcd_witness_printer.cpp index b4453dc6c..0f804e081 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"