X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmarshaller-list;h=f3e4042b1c0cb324b45c457bce389e75f9d6f854;hb=0fe886a656b0ee57b4d542b7c16b3c56288b6fc6;hp=1f85ee6d7055428446408994273570feb62872ff;hpb=f00c8490080474d40395906cb42d32b3b0c69db8;p=pspp

diff --git a/src/ui/gui/marshaller-list b/src/ui/gui/marshaller-list
index 1f85ee6d70..f3e4042b1c 100644
--- a/src/ui/gui/marshaller-list
+++ b/src/ui/gui/marshaller-list
@@ -5,6 +5,7 @@ BOOLEAN:BOOLEAN,BOOLEAN,BOOLEAN
 BOOLEAN:BOXED
 BOOLEAN:ENUM
 BOOLEAN:ENUM,INT
+BOOLEAN:INT
 BOOLEAN:BOXED,BOXED
 BOOLEAN:BOXED,POINTER
 BOOLEAN:OBJECT