1 files changed, 43 insertions, 0 deletions
diff --git a/contrib/libvcd/stream_stdio.h b/contrib/libvcd/stream_stdio.h
new file mode 100644
index 000000000..46bca3140
--- /dev/null
+++ b/contrib/libvcd/stream_stdio.h
@@ -0,0 +1,43 @@
+/*
+    $Id: stream_stdio.h,v 1.2 2004/04/11 12:20:32 miguelfreitas Exp $
+
+    Copyright (C) 2000 Herbert Valerio Riedel <hvr@gnu.org>
+
+    This program is free software; you can redistribute it and/or modify
+    it under the terms of the GNU General Public License as published by
+    the Free Software Foundation; either version 2 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU General Public License for more details.
+
+    You should have received a copy of the GNU General Public License
+    along with this program; if not, write to the Free Software
+    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+*/
+
+
+#ifndef __VCD_STREAM_STDIO_H__
+#define __VCD_STREAM_STDIO_H__
+
+/* Private headers */
+#include "stream.h"
+
+VcdDataSink*
+vcd_data_sink_new_stdio(const char pathname[]);
+
+VcdDataSource*
+vcd_data_source_new_stdio(const char pathname[]);
+
+#endif /* __VCD_STREAM_STDIO_H__ */
+
+
+/* 
+ * Local variables:
+ *  c-file-style: "gnu"
+ *  tab-width: 8
+ *  indent-tabs-mode: nil
+ * End:
+ */