X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fvar-type-dialog.ui;h=7ba3e721b47c914bc7677c0defc60b21b7581d4d;hb=80938eea690eaded701078c65f1fdae956c76233;hp=f73b3c8b95be8e4e4f94090c9871bd3291807978;hpb=2818b1ba8e2f9328760eaede858c45a0932198c3;p=pspp

diff --git a/src/ui/gui/var-type-dialog.ui b/src/ui/gui/var-type-dialog.ui
index f73b3c8b95..7ba3e721b4 100644
--- a/src/ui/gui/var-type-dialog.ui
+++ b/src/ui/gui/var-type-dialog.ui
@@ -17,7 +17,7 @@
 
 <!-- Generated with glade 3.18.3 -->
 <interface>
-  <requires lib="gtk+" version="3.4.2"/>
+  <requires lib="gtk+" version="3.22"/>
   <requires lib="psppire" version="0.0"/>
   <object class="GtkAdjustment" id="adj_decimals">
     <property name="upper">40</property>