Minor mixed-bag commit. Expected performance impact negligible.

* Fixed hole in arrays typechecking.
* Fixed "make dist".
* Better ouroborous test, and some printer fixes.
* Continued cleanup in CVC parser, removed some warnings.
* Better output.

1 files changed, 4 insertions, 6 deletions

diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h
index 9a5b654a8..d32914d8e 100644
--- a/src/parser/parser_exception.h
+++ b/src/parser/parser_exception.h
@@ -5,7 +5,7 @@
  ** Major contributors: cconway
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010, 2011  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
  ** New York University
  ** See the file COPYING in the top-level source directory for licensing
@@ -64,14 +64,12 @@ public:
   // Destructor
   virtual ~ParserException() throw() {}
 
-  virtual std::string toString() const {
+  virtual void toStream(std::ostream& os) const {
     if( d_line > 0 ) {
-      std::stringstream ss;
-      ss <<  "Parse Error: " << d_filename << ":" << d_line << "."
+      os <<  "Parse Error: " << d_filename << ":" << d_line << "."
          << d_column << ": " << d_msg;
-      return ss.str();
     } else {
-      return "Parse Error: " + d_msg;
+      os << "Parse Error: " << d_msg;
     }
   }