*** empty log message ***

Fltk/GUI.cpp

@@ -15,6 +15,8 @@
 #include "GUI.h"
 #include "Callbacks.h"
 
+//int strtok_r(char *, char const *, char **){return 0;}
+
 extern Context_T CTX;
 
 // Definition of the static menus

Fltk/GUI.h

@@ -52,7 +52,7 @@ class GUI{
   Fl_Window  *m_window, *g_window, *gen_window, *geo_window ;
   Fl_Window  *mesh_window, *post_window, *stat_window ;
   Fl_Window  *view_window ;
-  Opengl_Window    *g_opengl_window ;
+  Opengl_Window *g_opengl_window ;
   
   // We keep the following widgets for easy further reference