X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fintern.h;h=2192c66d8c650afa058a2b8bc0be896da2a2c2be;hb=aaa51e1dfe47d064f77bdf3f7484d7e3513237aa;hp=2f07a9ef77808b17f19e85adc2ffc9dc8d024262;hpb=fe8dc2171009e90d2335f159d05f7e6660e24780;p=pspp

diff --git a/src/libpspp/intern.h b/src/libpspp/intern.h
index 2f07a9ef77..2192c66d8c 100644
--- a/src/libpspp/intern.h
+++ b/src/libpspp/intern.h
@@ -34,7 +34,9 @@
 #include <stddef.h>
 
 const char *intern_new (const char *);
+const char *intern_new_if_nonnull (const char *);
 const char *intern_ref (const char *);
+const char *intern_ref_if_nonnull (const char *);
 void intern_unref (const char *);
 
 size_t intern_strlen (const char *);