Forgot to do the replacement
authorbdemsky <bdemsky>
Tue, 9 Nov 2004 20:26:57 +0000 (20:26 +0000)
committerbdemsky <bdemsky>
Tue, 9 Nov 2004 20:26:57 +0000 (20:26 +0000)
Repair/RepairCompiler/Daikon/Process.java

index cb0768c..be8bf00 100755 (executable)
@@ -171,7 +171,7 @@ class Process {
 
   static String replace(String str, String tofind, String toreplace) {
     if (str.indexOf(tofind)!=-1) {
-      str=str.substring(0,str.indexOf(tofind))+str.substring(str.indexOf(tofind)+tofind.length());
+      str=str.substring(0,str.indexOf(tofind))+toreplace+str.substring(str.indexOf(tofind)+tofind.length());
     }
     return str;
   }