changeset 3992:f1ae344ea600 octave-forge

Use octave_time().double_value() method rather than attemptting to cast to a double
author adb014
date Mon, 05 Nov 2007 13:06:28 +0000
parents 8da82fa122c3
children 3feed20108ef
files main/miscellaneous/src/listen.cc
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/main/miscellaneous/src/listen.cc	Sun Nov 04 14:14:04 2007 +0000
+++ b/main/miscellaneous/src/listen.cc	Mon Nov 05 13:06:28 2007 +0000
@@ -33,8 +33,8 @@
 static char* context = NULL;
 
 static double timestamp = 0.0;
-inline void tic(void) { timestamp = octave_time(); }
-inline double toc(void) {return ceil(-1e6*(timestamp-double(octave_time())));}
+inline void tic(void) { timestamp = octave_time().double_value(); }
+inline double toc(void) {return ceil(-1e6*(timestamp-octave_time().double_value()));}
 
 // XXX FIXME XXX --- surely this is part of the standard library?
 void