Commits

Anonymous committed 5498307

.

  • Participants
  • Parent commits 509a035

Comments (0)

Files changed (1)

File src/cd_Strings.ml

 
         value ( ^ ) = perv_append;
 
+        type char = String.char;
+
       end
     ;
 
         ;
 
         value ( ^ ) = String.append;
+        type char = String.char;
 
       end  (* Latin1 *)
     ;
         ;
 
         value ( ^ ) = String.append;
+        type char = String.char;
 
       end  (* Utf8 *)
     ;