Minor cleanup after today's commits:

* change some uses of "std::cout" to "Message()"

* change some files to use Unix newlines instead of DOS newlines

* fix compiler warning

1 files changed, 42 insertions, 42 deletions

diff --git a/src/util/model.h b/src/util/model.h
index 7e0f5a723..60f1ab23f 100644
--- a/src/util/model.h
+++ b/src/util/model.h
@@ -1,42 +1,42 @@
-/*********************                                                        */

-/*! \file model.h

- ** \verbatim

- ** Original author: ajreynol

- ** Major contributors: none

- ** Minor contributors (to current version): none

- ** This file is part of the CVC4 prototype.

- ** 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

- ** information.\endverbatim

- **

- ** \brief Model class

- **/

-

-#include "cvc4_public.h"

-

-#ifndef __CVC4__MODEL_H

-#define __CVC4__MODEL_H

-

-#include <iostream>

-

-namespace CVC4 {

-

-class Model

-{

-public:

-  virtual void toStream(std::ostream& out) = 0;

-};/* class Model */

-

-class ModelBuilder

-{

-public:

-  ModelBuilder(){}

-  virtual ~ModelBuilder(){}

-  virtual void buildModel( Model* m ) = 0;

-};/* class ModelBuilder */

-

-}/* CVC4 namespace */

-

-#endif  /* __CVC4__MODEL_H */

+/*********************                                                        */
+/*! \file model.h
+ ** \verbatim
+ ** Original author: ajreynol
+ ** Major contributors: none
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 prototype.
+ ** 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
+ ** information.\endverbatim
+ **
+ ** \brief Model class
+ **/
+
+#include "cvc4_public.h"
+
+#ifndef __CVC4__MODEL_H
+#define __CVC4__MODEL_H
+
+#include <iostream>
+
+namespace CVC4 {
+
+class Model
+{
+public:
+  virtual void toStream(std::ostream& out) = 0;
+};/* class Model */
+
+class ModelBuilder
+{
+public:
+  ModelBuilder(){}
+  virtual ~ModelBuilder(){}
+  virtual void buildModel( Model* m ) = 0;
+};/* class ModelBuilder */
+
+}/* CVC4 namespace */
+
+#endif  /* __CVC4__MODEL_H */