X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmarshaller-list;h=1f85ee6d7055428446408994273570feb62872ff;hb=refs%2Fbuilds%2F20121106030502%2Fpspp;hp=3cf5a9c87e92cf9aafead3167fd23b1086a59560;hpb=c7b09a12fae1611db7f1e7e00fa1e92c19d9fa37;p=pspp

diff --git a/src/ui/gui/marshaller-list b/src/ui/gui/marshaller-list
index 3cf5a9c87e..1f85ee6d70 100644
--- a/src/ui/gui/marshaller-list
+++ b/src/ui/gui/marshaller-list
@@ -2,6 +2,7 @@
 
 BOOLEAN:BOOLEAN
 BOOLEAN:BOOLEAN,BOOLEAN,BOOLEAN
+BOOLEAN:BOXED
 BOOLEAN:ENUM
 BOOLEAN:ENUM,INT
 BOOLEAN:BOXED,BOXED