X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;h=d4f982e193a14e92782cc872eb1bf4feb609cf74;hb=53471ab86019d104cddb3a1b8c96400c8da0838b;hp=b1166b20b6b6b423218fe98184c04a4722f2c130;hpb=13b7589356394e01a5e1d7e8d366e3a105091e46;p=pspp

diff --git a/INSTALL b/INSTALL
index b1166b20b6..d4f982e193 100644
--- a/INSTALL
+++ b/INSTALL
@@ -89,7 +89,7 @@ use the GUI, you must run `configure' with --without-gui.
       0.18 and 0.19 have a bug that will prevent library detection,
       but other versions should be fine.
 
-    * GTK+ (http://www.gtk.org/), version 3.14.5 or later.
+    * GTK+ (http://www.gtk.org/), version 3.18.0 or later.
       It has been reported that versions prior to 3.22.x give problems,
       so a recent version is recommended.