X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fintern.h;h=2192c66d8c650afa058a2b8bc0be896da2a2c2be;hb=0fde6afee3c995bf264c24c438f43eeb58b859b5;hp=2f07a9ef77808b17f19e85adc2ffc9dc8d024262;hpb=b454cceec7abb67de3225d63c9daf7b112ea4e0a;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 *);