X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fintern.h;fp=src%2Flibpspp%2Fintern.h;h=9d8beb439a843ba37d6ba69b58822f1ea693b1c6;hb=52c54183e360053b1845e46cb96cd44a0cf96040;hp=2f07a9ef77808b17f19e85adc2ffc9dc8d024262;hpb=2ca3267c1110bbff675c560b19d02defb96ee2f9;p=pspp

diff --git a/src/libpspp/intern.h b/src/libpspp/intern.h
index 2f07a9ef77..9d8beb439a 100644
--- a/src/libpspp/intern.h
+++ b/src/libpspp/intern.h
@@ -34,6 +34,8 @@
 #include <stddef.h>
 
 const char *intern_new (const char *);
+const char *intern_buffer (const char *, size_t length);
+
 const char *intern_ref (const char *);
 void intern_unref (const char *);