gui/mapstorage.cc
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  {