<?xml version="1.0" encoding="UTF-8"?>
<commit>
  <added type="array"/>
  <modified type="array">
    <modified>
      <diff>@@ -56,12 +56,12 @@ template&lt;class T, int d&gt; omega::Dynamic_Array&lt;T,d&gt;::Dynamic_Array()
     do_constr();
     }
 
-template&lt;class T&gt; omega::Dynamic_Array1&lt;T&gt;::Dynamic_Array1(char *)
+template&lt;class T&gt; omega::Dynamic_Array1&lt;T&gt;::Dynamic_Array1(const char *)
     {
     this-&gt;do_constr();
     }
 
-template&lt;class T&gt; omega::Dynamic_Array2&lt;T&gt;::Dynamic_Array2(char *,char *)
+template&lt;class T&gt; omega::Dynamic_Array2&lt;T&gt;::Dynamic_Array2(const char *, const char *)
     {
     this-&gt;do_constr();
     }</diff>
      <filename>basic/include/basic/Dynamic_Array.c</filename>
    </modified>
    <modified>
      <diff>@@ -28,7 +28,7 @@ template &lt;class T, int d&gt; class Dynamic_Array
 template &lt;class T&gt; class Dynamic_Array1 : public Dynamic_Array&lt;T,1&gt;
     {
     public:
-	Dynamic_Array1(char *s0 = 0);
+	Dynamic_Array1(const char *s0 = 0);
 	Dynamic_Array1(int d0);
 	void resize(int d0);
         T&amp; operator[](int d);
@@ -43,7 +43,7 @@ template &lt;class T&gt; class Dynamic_Array1 : public Dynamic_Array&lt;T,1&gt;
 template &lt;class T&gt; class Dynamic_Array2 : public Dynamic_Array&lt;T,2&gt;
     {
     public:
-	Dynamic_Array2(char *s0 = 0, char *s1 = 0);
+	Dynamic_Array2(const char *s0 = 0, const char *s1 = 0);
 	Dynamic_Array2(int d0, int d1);
 	void resize(int d0, int d1);
   	Dynamic_Array1&lt;T&gt; operator[](int d);</diff>
      <filename>basic/include/basic/Dynamic_Array.h</filename>
    </modified>
    <modified>
      <diff>@@ -57,7 +57,7 @@ Tuple&lt;stm_info&gt; &amp;Peel_One_IS(Tuple&lt;stm_info&gt; &amp;info, int stm, int level, Relation
 
 
 void DoDebug2(char *message, const Tuple&lt;stm_info&gt; &amp;info);
-void DoDebug(char * message, int effort, const Tuple&lt;stm_info&gt; &amp;info, const Relation &amp;known);
+void DoDebug(const char *message, int effort, const Tuple&lt;stm_info&gt; &amp;info, const Relation &amp;known);
 
 
 extern int code_gen_debug;</diff>
      <filename>code_gen/include/code_gen/mmap-util.h</filename>
    </modified>
    <modified>
      <diff>@@ -16,7 +16,7 @@ extern int Block_Size;
 extern int Num_Procs;
 extern int code_gen_debug;
 
-static String replace_vars(char *my_stmt, Relation global_time)
+static String replace_vars(const char *my_stmt, Relation global_time)
     {
     String S = &quot;&quot;;
     for (unsigned int i=0; i&lt;strlen(my_stmt); i++)
@@ -99,7 +99,7 @@ class numbered_stmt_info : public spmd_stmt_info {
 public:
     numbered_stmt_info() :  stmt_num(-1) {}
     numbered_stmt_info(int arg, const Relation &amp;in_time,
-                       const Relation &amp;in_space, char *stmt):
+                       const Relation &amp;in_space, const char *stmt):
         spmd_stmt_info(String(&quot;s&quot;) + itoS(arg),in_time,in_space),
         stmt_num(arg),
         my_stmt(stmt)
@@ -151,7 +151,7 @@ public:
 
 private:
     int stmt_num;
-    char *my_stmt;
+    const char *my_stmt;
 };
 
 } // end namespace omega</diff>
      <filename>code_gen/include/code_gen/spmd.h</filename>
    </modified>
    <modified>
      <diff>@@ -392,7 +392,7 @@ Tuple&lt;stm_info&gt; &amp;Peel_One_IS(Tuple&lt;stm_info&gt; &amp;info, int stm, int level, Relation
 
 
 /* useful from debugger */
-void DoDebug3(char *message, Relation &amp;r)
+void DoDebug3(const char *message, Relation &amp;r)
 {
   fprintf(DebugFile, &quot;%s: &quot;, message);
   copy(r).print_with_subs(DebugFile);
@@ -405,7 +405,7 @@ void DoDebug2(char *message, const Tuple&lt;stm_info&gt; &amp;info)
   DoDebug(message, -1, info, Relation::True(0));
 }
 
-void DoDebug(char * message, int effort, const Tuple&lt;stm_info&gt; &amp;info, const Relation &amp;known)
+void DoDebug(const char *message, int effort, const Tuple&lt;stm_info&gt; &amp;info, const Relation &amp;known)
 {
    String result=&quot;&quot;;
    Tuple&lt;stm_info&gt; &amp;noconst = (Tuple&lt;stm_info&gt; &amp;)info;</diff>
      <filename>code_gen/src/mmap-util.c</filename>
    </modified>
    <modified>
      <diff>@@ -1,4 +1,4 @@
 extern int yylex(void);
-extern void yyerror(char * );
+extern void yyerror(const char *);
 extern void initializeScanBuffer();
 extern void flushScanBuffer();</diff>
      <filename>omega_calc/include/omega_calc/yylex.h</filename>
    </modified>
    <modified>
      <diff>@@ -35,7 +35,7 @@ void flushScanBuffer() {
 	initializeScanBuffer();
 	}
 #define BUFFER strcat(scanBuf,yytext)
-void yyerror(char *s) {
+void yyerror(const char *s) {
     fprintf(stderr,&quot;%s\n&quot;,s);
     fprintf(stderr,&quot;line %d, at end of \&quot;%s\&quot;\n&quot;,yylineno,scanBuf);
     }</diff>
      <filename>omega_calc/src/parser.l</filename>
    </modified>
    <modified>
      <diff>@@ -9,7 +9,7 @@
 
 namespace omega {
 
-void PresErrAssert(char *t);
+void PresErrAssert(const char *t);
 
 extern Rel_Body null_rel;
 </diff>
      <filename>omega_lib/include/omega/omega_i.h</filename>
    </modified>
    <modified>
      <diff>@@ -446,7 +446,7 @@ prettyPrintProblemToString() const
     int v1, v2, v3;
     int t, change;
     int stuffPrinted = 0;
-    char *connector = CONNECTOR;
+    const char *connector = CONNECTOR;
 
     typedef enum {
 	none, le, lt
@@ -733,7 +733,7 @@ Problem::
 prettyPrintRedEquations() const
     {
     int e, stuffPrinted = 0;
-    char * connector = CONNECTOR;
+    const char *connector = CONNECTOR;
 
 
     if (!variablesInitialized)</diff>
      <filename>omega_lib/src/omega_core/oc_print.c</filename>
    </modified>
    <modified>
      <diff>@@ -17,7 +17,7 @@ negation_control pres_legal_negations = any_negation;
 //
 // I/O utility functions.
 //
-void PresErrAssert(char *t) {
+void PresErrAssert(const char *t) {
   fprintf(stdout, &quot;\nERROR: %s\n&quot;, t);
   if(pres_debug) {
     fprintf(DebugFile, &quot;\nERROR: %s\n&quot;, t);</diff>
      <filename>omega_lib/src/pres_gen.c</filename>
    </modified>
    <modified>
      <diff>@@ -179,7 +179,7 @@ const char *Var_Decl::char_name() {
     if (a)
 	{
 	if (use_ugly_names) {
-		static char *arg_names[4] = { &quot;???&quot;, &quot;In&quot;, &quot;Out&quot;, &quot;In == Out&quot; };
+		static const char *arg_names[4] = { &quot;???&quot;, &quot;In&quot;, &quot;Out&quot;, &quot;In == Out&quot; };
 		sprintf(s, &quot;(%s[1#%d])&quot;, arg_names[function_of()], a);
 		}
 	else {</diff>
      <filename>omega_lib/src/pres_var.c</filename>
    </modified>
    <modified>
      <diff>@@ -54,7 +54,7 @@ int      Quit(int dummy );
 
 extern void out_of_memory();
 
-void      Write(char *);
+void      Write(const char *);
 
 }
 </diff>
      <filename>petit/include/petit/Exit.h</filename>
    </modified>
    <modified>
      <diff>@@ -228,7 +228,7 @@ void out_of_memory(void)
 
 namespace omega {
 
-void Write(char *s) {
+void Write(const char *s) {
   static int fd = -1;
   int l;
   if(fd&lt;0) {</diff>
      <filename>petit/src/Exit.c</filename>
    </modified>
  </modified>
  <removed type="array"/>
  <parents type="array">
    <parent>
      <id>e7ff46a06755cbf6b1194c39846e2a524bf2da59</id>
    </parent>
  </parents>
  <author>
    <name>Sven Verdoolaege</name>
    <email>skimo@kotnet.org</email>
  </author>
  <url>http://github.com/davewathaverford/the-omega-project/commit/b3ec42bdfbc22f68036ea9dd14038cbf76cf5ecd</url>
  <id>b3ec42bdfbc22f68036ea9dd14038cbf76cf5ecd</id>
  <committed-date>2008-07-16T08:21:43-07:00</committed-date>
  <authored-date>2007-07-19T03:26:30-07:00</authored-date>
  <message>string constants are of type const char * (not char *)

Recent gcc's complain about this typing problem.</message>
  <tree>089fccf8409b8401c34fabb2d26925527b44cccd</tree>
  <committer>
    <name>Sven Verdoolaege</name>
    <email>sven@cs.kuleuven.be</email>
  </committer>
</commit>
