From e5c26181dab76704ad9a47126585fe2ec9d6cac2 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Wed, 14 Apr 2021 11:56:47 -0700 Subject: Rename public and private headers in src/include. (#6352) --- src/printer/ast/ast_printer.h | 2 +- src/printer/cvc/cvc_printer.h | 2 +- src/printer/let_binding.h | 2 +- src/printer/printer.h | 2 +- src/printer/smt2/smt2_printer.h | 2 +- src/printer/tptp/tptp_printer.h | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) (limited to 'src/printer') diff --git a/src/printer/ast/ast_printer.h b/src/printer/ast/ast_printer.h index 11b680387..da5785f9f 100644 --- a/src/printer/ast/ast_printer.h +++ b/src/printer/ast/ast_printer.h @@ -13,7 +13,7 @@ * The pretty-printer interface for the AST output language. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__PRINTER__AST_PRINTER_H #define CVC5__PRINTER__AST_PRINTER_H diff --git a/src/printer/cvc/cvc_printer.h b/src/printer/cvc/cvc_printer.h index 93a9dcb2f..555237177 100644 --- a/src/printer/cvc/cvc_printer.h +++ b/src/printer/cvc/cvc_printer.h @@ -13,7 +13,7 @@ * The pretty-printer interface for the CVC output language. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__PRINTER__CVC_PRINTER_H #define CVC5__PRINTER__CVC_PRINTER_H diff --git a/src/printer/let_binding.h b/src/printer/let_binding.h index b1fb5f22e..abdf5985d 100644 --- a/src/printer/let_binding.h +++ b/src/printer/let_binding.h @@ -13,7 +13,7 @@ * A let binding. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__PRINTER__LET_BINDING_H #define CVC5__PRINTER__LET_BINDING_H diff --git a/src/printer/printer.h b/src/printer/printer.h index 0841c53e6..aeffc76eb 100644 --- a/src/printer/printer.h +++ b/src/printer/printer.h @@ -13,7 +13,7 @@ * Base of the pretty-printer interface. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__PRINTER__PRINTER_H #define CVC5__PRINTER__PRINTER_H diff --git a/src/printer/smt2/smt2_printer.h b/src/printer/smt2/smt2_printer.h index a1ca176e1..4921566d1 100644 --- a/src/printer/smt2/smt2_printer.h +++ b/src/printer/smt2/smt2_printer.h @@ -13,7 +13,7 @@ * The pretty-printer interface for the SMT2 output language. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__PRINTER__SMT2_PRINTER_H #define CVC5__PRINTER__SMT2_PRINTER_H diff --git a/src/printer/tptp/tptp_printer.h b/src/printer/tptp/tptp_printer.h index a960ac4fd..db86de8cf 100644 --- a/src/printer/tptp/tptp_printer.h +++ b/src/printer/tptp/tptp_printer.h @@ -13,7 +13,7 @@ * The pretty-printer interface for the TPTP output language. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__PRINTER__TPTP_PRINTER_H #define CVC5__PRINTER__TPTP_PRINTER_H -- cgit v1.2.3