Changeset 527 for CMT/HEAD/source/cmt_system.h

Timestamp:

Nov 20, 2009, 10:45:54 AM (15 years ago)

Author:

rybkin

Message:

See C.L. 414

File:

• CMT/HEAD/source/cmt_system.h (modified) (1 diff)

CMT/HEAD/source/cmt_system.h

@@ -145 +145 @@
   static cmt_string get_makefile_suffix ();
 
+  static void close_ostream (FILE *stream, const cmt_string& name = "" );
+  static void close_stdout (void);
+
 };