diff src/oct-procbuf.cc @ 3176:fccab8e7d35f

[project @ 1998-05-18 20:33:31 by jwe]
author jwe
date Mon, 18 May 1998 20:33:42 +0000
parents 390d5e396682
children bef7b73c0724
line wrap: on
line diff
--- a/src/oct-procbuf.cc
+++ b/src/oct-procbuf.cc
@@ -39,6 +39,7 @@
 #include "lo-utils.h"
 #include "oct-procbuf.h"
 #include "syswait.h"
+#include "variables.h"
 
 #include "defun.h"
 #include "gripes.h"
@@ -206,7 +207,8 @@
 static void
 symbols_of_oct_procbuf (void)
 {
-  DEFVAR (kluge_procbuf_delay, Vkluge_procbuf_delay, 0, kluge_procbuf_delay,
+  DEFVAR (kluge_procbuf_delay, static_cast<double> (Vkluge_procbuf_delay),
+	  0, kluge_procbuf_delay,
     "number of microseconds to delay in the parent after forking");
 }