diff src/pt-bp.cc @ 4233:ccfdb55c8156

[project @ 2002-12-20 22:43:54 by jwe]
author jwe
date Fri, 20 Dec 2002 22:43:55 +0000
parents 23d06c9e1edd
children f7660e7d9b80
line wrap: on
line diff
--- a/src/pt-bp.cc	Fri Dec 20 01:17:19 2002 +0000
+++ b/src/pt-bp.cc	Fri Dec 20 22:43:55 2002 +0000
@@ -55,7 +55,7 @@
     {
       if (tr.is_breakpoint ())
 	{
-	  bp_list.append (octave_value (static_cast<double> (tr.line ())));
+	  bp_list.append (octave_value (tr.line ()));
 	  line = tr.line () + 1;
 	}
     }