changeset 1939 | 591e717155ac |
parent 1888 | eed01ce27087 |
child 2063 | 9535436aaa9f |
1.1 --- a/gui/mapstorage.cc Wed Feb 01 12:55:38 2006 +0000 1.2 +++ b/gui/mapstorage.cc Thu Feb 02 08:49:41 2006 +0000 1.3 @@ -1,10 +1,9 @@ 1.4 #include "mapstorage.h" 1.5 #include "gui_writer.h" 1.6 #include "gui_reader.h" 1.7 +#include <limits> 1.8 +#include <cmath> 1.9 #include <gtkmm.h> 1.10 -#include <cmath> 1.11 - 1.12 -#include <cmath> 1.13 1.14 MapStorage::MapStorage() : modified(false), file_name(""), arrow_pos_read_ok(false) 1.15 {