X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmarshaller-list;fp=src%2Fui%2Fgui%2Fmarshaller-list;h=467dcc40a50b817bbebecf66fc2682078c1e9af2;hp=5b6c0e5b586f1eb12a07b63946fa86023bc915d9;hb=a9e5621ea36156f1855bfa701f9fae07a648c844;hpb=bcbd6d906bd2e5f6ae72c5bdaa6900735f51c4e3

diff --git a/src/ui/gui/marshaller-list b/src/ui/gui/marshaller-list
index 5b6c0e5b58..467dcc40a5 100644
--- a/src/ui/gui/marshaller-list
+++ b/src/ui/gui/marshaller-list
@@ -7,6 +7,7 @@ BOOLEAN:ENUM,INT
 BOOLEAN:INT
 BOOLEAN:OBJECT
 BOOLEAN:VOID
+BOOLEAN:INT,INT
 VOID:BOXED,OBJECT
 VOID:INT,INT
 VOID:OBJECT,OBJECT