From b66849b7a0f4da7ef18c96baca6b0aa8b5da0c69 Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Wed, 7 Feb 2024 15:35:38 +0100 Subject: [PATCH] remove duplicate header --- src/sat/smt/euf_solver.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/sat/smt/euf_solver.cpp b/src/sat/smt/euf_solver.cpp index dc4f39cd6..834f2fd4b 100644 --- a/src/sat/smt/euf_solver.cpp +++ b/src/sat/smt/euf_solver.cpp @@ -21,7 +21,6 @@ Author: #include "sat/smt/sat_smt.h" #include "sat/smt/pb_solver.h" #include "sat/smt/bv_solver.h" -#include "sat/smt/intblast_solver.h" #include "sat/smt/polysat_solver.h" #include "sat/smt/intblast_solver.h" #include "sat/smt/euf_solver.h"