X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Finclude%2Fgtk%2Fgtk.in.h;h=29fc7d5a968d28d0aec16cf21607744fd0702b9c;hb=fd42aabc26013ace3f87acc4108c3d8a3b238232;hp=18ea7c0692f8ce4f054f668cf24e9df846279c28;hpb=e04c680aae366f5af85cd50776875fcdf3c8927a;p=pspp

diff --git a/src/ui/gui/include/gtk/gtk.in.h b/src/ui/gui/include/gtk/gtk.in.h
index 18ea7c0692..29fc7d5a96 100644
--- a/src/ui/gui/include/gtk/gtk.in.h
+++ b/src/ui/gui/include/gtk/gtk.in.h
@@ -30,9 +30,6 @@
 #endif
 
 
-/* Like GSEAL but only used in PSPP */
-#define PSEAL(X) X
-
 #if (GTK_CHECK_VERSION(3,8,0) == 0)
 #define gtk_widget_register_window(widget, window) gdk_window_set_user_data (window, widget);
 #endif