diff src/debug.cc @ 4346:d39de791ef9c

[project @ 2003-02-20 21:38:39 by jwe]
author jwe
date Thu, 20 Feb 2003 21:38:39 +0000
parents ccfdb55c8156
children 8eb47d7ff594
line wrap: on
line diff
--- a/src/debug.cc	Thu Feb 20 20:45:49 2003 +0000
+++ b/src/debug.cc	Thu Feb 20 21:38:39 2003 +0000
@@ -60,7 +60,7 @@
       if (ptr && ptr->is_user_function ())
 	{
 	  octave_value tmp = ptr->def ();
-	  dbg_fcn = static_cast<octave_user_function *> (tmp.function_value ());
+	  dbg_fcn = dynamic_cast<octave_user_function *> (tmp.function_value ());
 	}
       else
 	{
@@ -69,7 +69,7 @@
 	  if (ptr && ptr->is_user_function ())
 	    {
 	      octave_value tmp = ptr->def ();
-	      dbg_fcn = static_cast<octave_user_function *> (tmp.function_value ());
+	      dbg_fcn = dynamic_cast<octave_user_function *> (tmp.function_value ());
 	    }
 	}
     }