diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-14 11:56:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-14 18:56:47 +0000 |
| commit | e5c26181dab76704ad9a47126585fe2ec9d6cac2 (patch) | |
| tree | 4f9d5a275091b73e825e0105be457c2b57f67d31 /src/printer | |
| parent | b6db4446a28d498af8fb4e629392985dfe2a976c (diff) | |
Rename public and private headers in src/include. (#6352)
Diffstat (limited to 'src/printer')
| -rw-r--r-- | src/printer/ast/ast_printer.h | 2 | ||||
| -rw-r--r-- | src/printer/cvc/cvc_printer.h | 2 | ||||
| -rw-r--r-- | src/printer/let_binding.h | 2 | ||||
| -rw-r--r-- | src/printer/printer.h | 2 | ||||
| -rw-r--r-- | src/printer/smt2/smt2_printer.h | 2 | ||||
| -rw-r--r-- | src/printer/tptp/tptp_printer.h | 2 |
6 files changed, 6 insertions, 6 deletions
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 |