projects
/
repair.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
087e64d
)
Forgot to do the replacement
author
bdemsky
<bdemsky>
Tue, 9 Nov 2004 20:26:57 +0000
(20:26 +0000)
committer
bdemsky
<bdemsky>
Tue, 9 Nov 2004 20:26:57 +0000
(20:26 +0000)
Repair/RepairCompiler/Daikon/Process.java
patch
|
blob
|
history
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;
}