revert debugging code

diff --git a/util.c b/util.c
index 4f2dd5e46c69110c3d6f767a6cae3772d41a3a5a..3c070750abc0ddbfbff6909f15d7b565de281812 100644 (file)
--- a/util.c
+++ b/util.c
@@ -1372,16 +1372,7 @@ typedef int arg_setup_state;
 static int
 set_arg0 (struct tcb *tcp, void *cookie, long val)
 {
-       long oldval,newval;
-       if (get_arg0(tcp, cookie, &oldval) < 0)
-               abort ();
-       if (ptrace (PTRACE_POKEUSER, tcp->pid, (char*)arg0_offset, val) < 0)
-               return -1;
-       if (get_arg0(tcp, cookie, &newval) < 0)
-               abort ();
-       fprintf(stderr, "XXX old %lx set %lx new %lx\n",
-               oldval,val,newval);
-       return 0;
+       return ptrace (PTRACE_POKEUSER, tcp->pid, (char*)arg0_offset, val);
 }
 
 static int