From: Jim Meyering <jim@meyering.net>
Date: Mon, 7 Aug 2000 17:05:37 +0000 (+0000)
Subject: (print_and_abort): Use "memory exhausted", not "virtual memory exhausted".
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7ddafe36d9a31b5168b48897ec7ed26d7e68e9a5;p=pspp

(print_and_abort): Use "memory exhausted", not "virtual memory exhausted".
---

diff --git a/lib/obstack.c b/lib/obstack.c
index 0322fb6733..639a6b0676 100644
--- a/lib/obstack.c
+++ b/lib/obstack.c
@@ -468,7 +468,7 @@ _obstack_memory_used (h)
 static void
 print_and_abort ()
 {
-  fputs (_("virtual memory exhausted"), stderr);
+  fputs (_("memory exhausted"), stderr);
   fputc ('\n', stderr);
   exit (obstack_exit_failure);
 }