For consistency, use gnulib's memory allocation functions in the gui.

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 71b9fbdc9674bebc13b6ea4ccca79d93619a1e00..05cc421b3ede67e4f08ef4ded3c10b0f065c5ec9 100644 (file)
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -15,6 +15,7 @@
    along with this program.  If not, see <http://www.gnu.org/licenses/>. */
 
 #include <config.h>
+#include <gl/xalloc.h>
 #include <gtk/gtk.h>
 #include "psppire.h"
 #include "progname.h"
@@ -130,6 +131,15 @@ run_inner_loop (gpointer data)
 }
 
 
+static GMemVTable vtable =
+  {
+    xmalloc,
+    xrealloc,
+    free,
+    xcalloc,
+    malloc,
+    realloc
+  };
 
 int
 main (int argc, char *argv[])
@@ -142,8 +152,11 @@ main (int argc, char *argv[])
 
   set_program_name (argv[0]);
 
+  g_mem_set_vtable (&vtable);
+
   gtk_disable_setlocale ();
 
+
   if ( ! gtk_parse_args (&argc, &argv) )
     {
       perror ("Error parsing arguments");