From d2e454e0dfc06e16fe0a4228168b21cf1311fc35 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 5 Apr 2021 19:31:28 -0700 Subject: New C++ Api: Rename and move headers. (#6292) --- src/smt/command.cpp | 2 +- src/smt/command.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/smt') diff --git a/src/smt/command.cpp b/src/smt/command.cpp index 4a6efe713..a8d9afdfa 100644 --- a/src/smt/command.cpp +++ b/src/smt/command.cpp @@ -23,7 +23,7 @@ #include #include -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "base/check.h" #include "base/output.h" #include "expr/expr_iomanip.h" diff --git a/src/smt/command.h b/src/smt/command.h index 6c3b4f0e4..e92594736 100644 --- a/src/smt/command.h +++ b/src/smt/command.h @@ -27,7 +27,7 @@ #include #include -#include "api/cvc4cpp.h" +#include "api/cpp/cvc5.h" #include "cvc4_export.h" #include "options/language.h" -- cgit v1.2.3