# HG changeset patch
# User pin
# Date 1199959217 -32400
# Node ID 53bf80576e8460871b0af47eda4ee118da2b21b3
# Parent  bc295d1132502ddaada3190ba3d76b8cb8a52d94
*** empty log message ***

diff -r bc295d113250 -r 53bf80576e84 rep/REPCommand.java
--- a/rep/REPCommand.java	Sun Dec 23 18:04:00 2007 +0900
+++ b/rep/REPCommand.java	Thu Jan 10 19:00:17 2008 +0900
@@ -65,7 +65,7 @@
 	}
 	
 	public REPCommand clone(){
-		REPCommand command = new REPCommand(cmd, sid, eid, seq, lineno, textsiz, string);
+		REPCommand command = new REPCommand(cmd, sid, eid, seq, lineno, textsiz, new String(string));
 		return command;
 	}