Skip to content

Commit

Permalink
Remove unneeded boolector include
Browse files Browse the repository at this point in the history
  • Loading branch information
@CyanoKobalamyne
CyanoKobalamyne committed Sep 14, 2024
1 parent 58f61e1 commit 6581b99
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion printers/vcd_witness_printer.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@

#include "utils/logger.h"
#include "frontends/btor2_encoder.h"
#include "smt-switch/boolector_factory.h"

#include "vcd_witness_printer.h"

Expand Down

0 comments on commit 6581b99

Please sign in to comment.