X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmarshaller-list;h=f3e4042b1c0cb324b45c457bce389e75f9d6f854;hb=adf6c19f55bc4b3271601072824aedf8faa057b8;hp=1f85ee6d7055428446408994273570feb62872ff;hpb=3bc8bee4dbb8a204fb61b0dfe97c4468899dd1c3;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