From 17294f63b22ea00f712283141ed0509fe2b178e6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 21 Jun 2021 21:22:30 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/muz/ddnf/ddnf.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/ddnf/ddnf.cpp b/src/muz/ddnf/ddnf.cpp index ad1994865..ff0948045 100644 --- a/src/muz/ddnf/ddnf.cpp +++ b/src/muz/ddnf/ddnf.cpp @@ -25,7 +25,7 @@ Revision History: #include "muz/base/dl_context.h" #include "ast/scoped_proof.h" #include "ast/bv_decl_plugin.h" -#include "muz/rel/tbv.h" +#include "util/tbv.h" namespace datalog {