gui: Fix build problem (missing header #include).
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 10 Mar 2010 17:44:39 +0000 (09:44 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 10 Mar 2010 17:44:46 +0000 (09:44 -0800)
Reported by Grzegorz Artur Daszuta <crefff@gmail.com>.


No differences found