diff options
Diffstat (limited to 'src/utils/string-pool.H')
-rw-r--r-- | src/utils/string-pool.H | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/utils/string-pool.H b/src/utils/string-pool.H index f3692a79..ae90409b 100644 --- a/src/utils/string-pool.H +++ b/src/utils/string-pool.H @@ -33,7 +33,7 @@ #define OPENAXIOM_STRING_POOL_INCLUDED #include <string.h> -#include "hash-table.H" +#include <open-axiom/hash-table> // --% Author: Gabriel Dos Reis. // --% Description: |