X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL;fp=INSTALL;h=cbe5fd2b2c586fb5f9d23e3c28651fb7f934978f;hb=2549f3e3a8401a1e55bba5abfb0291a06f210886;hp=5d1775cd8816baebf6756eab076a44b532cc3712;hpb=3a55c62ff97587bba5d96204658da91c1ce6f49d;p=pspp

diff --git a/INSTALL b/INSTALL
index 5d1775cd88..cbe5fd2b2c 100644
--- a/INSTALL
+++ b/INSTALL
@@ -70,7 +70,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 2.12.0 or later.
+    * GTK+ (http://www.gtk.org/), version 2.16.0 or later.
 
     * GtkSourceView (http://projects.gnome.org/gtksourceview/) 
       version 2.2 or later.