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/lib | |
| parent | b6db4446a28d498af8fb4e629392985dfe2a976c (diff) | |
Rename public and private headers in src/include. (#6352)
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/clock_gettime.c | 2 | ||||
| -rw-r--r-- | src/lib/clock_gettime.h | 2 | ||||
| -rw-r--r-- | src/lib/ffs.c | 4 | ||||
| -rw-r--r-- | src/lib/ffs.h | 2 | ||||
| -rw-r--r-- | src/lib/replacements.h | 4 | ||||
| -rw-r--r-- | src/lib/strtok_r.c | 4 | ||||
| -rw-r--r-- | src/lib/strtok_r.h | 2 |
7 files changed, 10 insertions, 10 deletions
diff --git a/src/lib/clock_gettime.c b/src/lib/clock_gettime.c index 32e6e5b9e..b149fdd0c 100644 --- a/src/lib/clock_gettime.c +++ b/src/lib/clock_gettime.c @@ -13,7 +13,7 @@ * Replacement for clock_gettime() for systems without it (Windows). */ -// #warning "TODO(taking): Make lib/clock_gettime.h cvc4_private.h again." +// #warning "TODO(taking): Make lib/clock_gettime.h cvc5_private.h again." #include "lib/clock_gettime.h" diff --git a/src/lib/clock_gettime.h b/src/lib/clock_gettime.h index 0626e2a20..7b4bb541f 100644 --- a/src/lib/clock_gettime.h +++ b/src/lib/clock_gettime.h @@ -13,7 +13,7 @@ * Replacement for clock_gettime() for systems without it (Windows). */ -#include "cvc4_private_library.h" +#include "cvc5_private_library.h" #ifndef CVC5__LIB__CLOCK_GETTIME_H #define CVC5__LIB__CLOCK_GETTIME_H diff --git a/src/lib/ffs.c b/src/lib/ffs.c index 78aed12eb..3c2f529fa 100644 --- a/src/lib/ffs.c +++ b/src/lib/ffs.c @@ -13,10 +13,10 @@ * Replacement for ffs() for systems without it (like Win32). */ -#include "cvc4_private.h" - #include "lib/ffs.h" +#include "cvc5_private.h" + #ifdef __cplusplus extern "C" { #endif /* __cplusplus */ diff --git a/src/lib/ffs.h b/src/lib/ffs.h index c9e583b82..c9ad5422e 100644 --- a/src/lib/ffs.h +++ b/src/lib/ffs.h @@ -13,7 +13,7 @@ * Replacement for ffs() for systems without it (like Win32). */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__LIB__FFS_H #define CVC5__LIB__FFS_H diff --git a/src/lib/replacements.h b/src/lib/replacements.h index 5669b400f..ad868d7c6 100644 --- a/src/lib/replacements.h +++ b/src/lib/replacements.h @@ -17,10 +17,10 @@ #define CVC5__LIB__REPLACEMENTS_H #if (defined(__BUILDING_CVC4LIB) || defined(__BUILDING_CVC4LIB_UNIT_TEST)) && !defined(__BUILDING_STATISTICS_FOR_EXPORT) -# include "cvc4_private.h" +#include "cvc5_private.h" #else # if defined(__BUILDING_CVC4PARSERLIB) || defined(__BUILDING_CVC4PARSERLIB_UNIT_TEST) -# include "cvc4parser_private.h" +#include "cvc5parser_private.h" # else #if defined(__BUILDING_CVC4DRIVER) || defined(__BUILDING_CVC5_SYSTEM_TEST) \ || defined(__BUILDING_STATISTICS_FOR_EXPORT) diff --git a/src/lib/strtok_r.c b/src/lib/strtok_r.c index 45d77d08b..959a1643f 100644 --- a/src/lib/strtok_r.c +++ b/src/lib/strtok_r.c @@ -13,12 +13,12 @@ * Replacement for strtok_r() for systems without it (like Win32). */ -#include "cvc4_private.h" - #include "lib/strtok_r.h" + #include <stdio.h> #include <string.h> +#include "cvc5_private.h" #ifdef __cplusplus extern "C" { diff --git a/src/lib/strtok_r.h b/src/lib/strtok_r.h index 6843196b7..73897c09f 100644 --- a/src/lib/strtok_r.h +++ b/src/lib/strtok_r.h @@ -13,7 +13,7 @@ * Replacement for strtok_r() for systems without it (like Win32). */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__LIB__STRTOK_R_H #define CVC5__LIB__STRTOK_R_H |