From eada2bd16553bc02e2b882439402d29ed66a62c0 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 9 Nov 2004 20:26:57 +0000
Subject: [PATCH] Forgot to do the replacement

---
 Repair/RepairCompiler/Daikon/Process.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Repair/RepairCompiler/Daikon/Process.java b/Repair/RepairCompiler/Daikon/Process.java
index cb0768c..be8bf00 100755
--- 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;
   }
-- 
2.34.1