Forgot to do the replacement

diff --git a/Repair/RepairCompiler/Daikon/Process.java b/Repair/RepairCompiler/Daikon/Process.java
index cb0768c74dc861cdc8c6bf7dfe85162ceeebee4f..be8bf00b74a22071989cd6cc6efa9273e4f980a4 100755 (executable)
--- a/Repair/RepairCompiler/Daikon/Process.java
+++ b/Repair/RepairCompiler/Daikon/Process.java
@@ -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;
   }