From 9f372f084f5c558e3ff618d02abfdb384a82e066 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 30 Nov 2020 10:56:28 -0600 Subject: Remove includes for old API from internal code (#5536) The only code including the old API now are in parser/ and main/ which will require further untangling. --- src/smt/command.h | 2 -- 1 file changed, 2 deletions(-) (limited to 'src/smt/command.h') diff --git a/src/smt/command.h b/src/smt/command.h index 0b86f3539..b9c1b7d73 100644 --- a/src/smt/command.h +++ b/src/smt/command.h @@ -29,8 +29,6 @@ #include #include "api/cvc4cpp.h" -#include "expr/expr.h" -#include "expr/type.h" #include "util/result.h" #include "util/sexpr.h" -- cgit v1.2.3