diff src/toplev.cc @ 4254:df5f2e433a11

[project @ 2002-12-31 19:43:07 by jwe]
author jwe
date Tue, 31 Dec 2002 19:43:07 +0000
parents a5a68c0afe56
children 115bffcecfd3
line wrap: on
line diff
--- a/src/toplev.cc	Tue Dec 31 18:23:58 2002 +0000
+++ b/src/toplev.cc	Tue Dec 31 19:43:07 2002 +0000
@@ -547,7 +547,7 @@
 		  panic_impossible ();
 		}
 	      else
-		retval(0) = static_cast<double> (pid);
+		retval(0) = pid;
 #else
  	      error ("asynchronous system calls are not supported");
 #endif