aboutsummaryrefslogtreecommitdiff
path: root/src/utils/string-pool.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/utils/string-pool.cc')
-rw-r--r--src/utils/string-pool.cc8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/utils/string-pool.cc b/src/utils/string-pool.cc
index 0c529ace..db5036a0 100644
--- a/src/utils/string-pool.cc
+++ b/src/utils/string-pool.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2010, Gabriel Dos Reis.
+// Copyright (C) 2010-2011, Gabriel Dos Reis.
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
@@ -31,6 +31,7 @@
// --% Author: Gabriel Dos Reis
+#include <string.h>
#include <open-axiom/string-pool>
namespace OpenAxiom {
@@ -93,4 +94,9 @@ namespace OpenAxiom {
e->hash = h;
return e;
}
+
+ StringPool::EntryType*
+ StringPool::intern(const char* s) {
+ return intern(s, strlen(s));
+ }
}