diff src/pt-jump.cc @ 7336:745a8299c2b5

[project @ 2007-12-28 20:56:55 by jwe]
author jwe
date Fri, 28 Dec 2007 20:56:58 +0000
parents a1dbe9d80eee
children 71f068b22fcc
line wrap: on
line diff
--- a/src/pt-jump.cc	Fri Feb 01 23:56:51 2008 -0500
+++ b/src/pt-jump.cc	Fri Dec 28 20:56:58 2007 +0000
@@ -49,7 +49,7 @@
 }
 
 tree_command *
-tree_break_command::dup (symbol_table *)
+tree_break_command::dup (symbol_table::scope_id)
 {
   return new tree_break_command (line (), column ());
 }
@@ -75,7 +75,7 @@
 }
 
 tree_command *
-tree_continue_command::dup (symbol_table *)
+tree_continue_command::dup (symbol_table::scope_id)
 {
   return new tree_continue_command (line (), column ());
 }
@@ -101,7 +101,7 @@
 }
 
 tree_command *
-tree_return_command::dup (symbol_table *)
+tree_return_command::dup (symbol_table::scope_id)
 {
   return new tree_return_command (line (), column ());
 }