diff src/oct-parse.yy @ 12222:91fa3871e9bf

oct-parse.yy (class stdio_stream_reader): disallow copying
author Pascal Dupuis <Pascal.Dupuis@uclouvain.be>
date Sun, 30 Jan 2011 04:38:10 -0500
parents 12df7854fa7c
children 5252f12537f8
line wrap: on
line diff
--- a/src/oct-parse.yy	Sun Jan 30 04:22:39 2011 -0500
+++ b/src/oct-parse.yy	Sun Jan 30 04:38:10 2011 -0500
@@ -3325,6 +3325,12 @@
 
 private:
   FILE *f;
+
+  // No copying!
+
+  stdio_stream_reader (const  stdio_stream_reader&);
+
+  stdio_stream_reader & operator = (const  stdio_stream_reader&);
 };
 
 static bool