X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2F.cppi-disable;h=513b9588fc7a829bd514ccfd223510acca59d285;hb=66d6ad3d23bb2a148b1496ed6d87fa594cb2bddc;hp=8886646b0a869ec69c7fdabf2f8b23e0caf7cc10;hpb=78c523724796ea64635f3c3034a67de2cc3e1a7f;p=pspp

diff --git a/lib/.cppi-disable b/lib/.cppi-disable
index 8886646b0a..513b9588fc 100644
--- a/lib/.cppi-disable
+++ b/lib/.cppi-disable
@@ -1,5 +1,4 @@
 alloca_.h
-allocsa.h
 error.h
 exit.h
 fnmatch_.h
@@ -18,6 +17,7 @@ getpagesize.h
 getpass.c
 gettext.h
 localcharset.h
+malloca.h
 mbchar.h
 mbuiter.h
 md5.h