X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=1709a1920d41175b553bd8439b27b54878b26791;hb=83ad8f5b760cb46bd1d86f60a40d6aace21118ef;hp=902591c685f6a752303c2dd6fe86382c3bab3229;hpb=92c09e564002d356d20fc1e2e131027ef89f6748;p=pspp

diff --git a/Smake b/Smake
index 902591c685..1709a1920d 100644
--- a/Smake
+++ b/Smake
@@ -62,7 +62,7 @@ GNULIB_MODULES = \
 	vsnprintf \
 	xalloc \
 	xalloc-die \
-	xallocsa \
+	xmalloca \
 	xsize \
 	xstrndup \
 	xvasprintf