mozart (1.4.0-8) platform/emulator/ozconfig.hh

Summary

 platform/emulator/ozconfig.hh |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

    
download this patch

Patch contents

--- mozart-1.4.0.orig/platform/emulator/ozconfig.hh
+++ mozart-1.4.0/platform/emulator/ozconfig.hh
@@ -127,7 +127,7 @@
 
   int runningUnderEmacs;
 
-  char *ozHome;
+  const char *ozHome;
   char *osname, *cpu;
 
   char *emuexe;
@@ -138,7 +138,7 @@
   int argC;
 
   // root functor's url
-  char *url;
+  const char *url;
   int gui;
   
 public: