diff src/c-file-ptr-stream.cc @ 3642:3843aa0767c8

[project @ 2000-03-24 10:48:48 by jwe]
author jwe
date Fri, 24 Mar 2000 10:48:48 +0000
parents 34458e90c576
children 9add655e8b8c
line wrap: on
line diff
--- a/src/c-file-ptr-stream.cc	Fri Mar 24 10:37:30 2000 +0000
+++ b/src/c-file-ptr-stream.cc	Fri Mar 24 10:48:48 2000 +0000
@@ -42,7 +42,11 @@
 #define SEEK_END 2
 #endif
 
-c_file_ptr_buf::~c_file_ptr_buf (void) { fflush (f); }
+c_file_ptr_buf::~c_file_ptr_buf (void)
+{
+  if (f)
+    fflush (f);
+}
 
 // XXX FIXME XXX -- I'm sure there is room for improvement here...