diff options
Diffstat (limited to 'src/poolid.h')
| -rw-r--r-- | src/poolid.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/poolid.h b/src/poolid.h index 069ecb5..7ea597c 100644 --- a/src/poolid.h +++ b/src/poolid.h @@ -10,8 +10,8 @@ * */ -#ifndef POOLID_H -#define POOLID_H +#ifndef SATSOLVER_POOLID_H +#define SATSOLVER_POOLID_H #include "pooltypes.h" #include "hash.h" @@ -36,4 +36,4 @@ extern void pool_shrink_strings(Pool *pool); extern void pool_shrink_rels(Pool *pool); extern void pool_freeidhashes(Pool *pool); -#endif /* POOLID_H */ +#endif /* SATSOLVER_POOLID_H */ |