fix an issue which breaks language bindings (so this commit fixes debian nightly...

diff --git a/src/util/sexpr.h b/src/util/sexpr.h
index 040f8eb143c0dc318e505959d50e97c61992bb27..9d568bad8bf1b37a6a6c00758a1207a6717bf9d9 100644 (file)
--- a/src/util/sexpr.h
+++ b/src/util/sexpr.h
@@ -42,7 +42,7 @@ class CVC4_PUBLIC SExpr {
     SEXPR_RATIONAL,
     SEXPR_NOT_ATOM
   } d_sexprType;
-  friend std::ostream &operator<<(std::ostream&, SexprTypes);
+  friend std::ostream& operator<<(std::ostream&, SexprTypes);
 
   /** The value of an atomic integer-valued S-expression. */
   CVC4::Integer d_integerValue;
@@ -135,25 +135,25 @@ public:
 
 };/* class SExpr */
 
-inline std::ostream &operator<<(std::ostream& out, SExpr::SexprTypes type){
- switch(type){
- case SExpr::SEXPR_STRING:
-   out << "SEXPR_STRING";
-   break;
- case SExpr::SEXPR_INTEGER:
-   out << "SEXPR_INTEGER";
-   break;
- case SExpr::SEXPR_RATIONAL:
-   out << "SEXPR_RATIONAL";
-   break;
- case SExpr::SEXPR_NOT_ATOM:
-   out << "SEXPR_NOT_ATOM";
-   break;
- default:
-   Unimplemented();
-   break;
- }
- return out;
+inline std::ostream& operator<<(std::ostream& out, SExpr::SexprTypes type) {
+  switch(type) {
+  case SExpr::SEXPR_STRING:
+    out << "SEXPR_STRING";
+    break;
+  case SExpr::SEXPR_INTEGER:
+    out << "SEXPR_INTEGER";
+    break;
+  case SExpr::SEXPR_RATIONAL:
+    out << "SEXPR_RATIONAL";
+    break;
+  case SExpr::SEXPR_NOT_ATOM:
+    out << "SEXPR_NOT_ATOM";
+    break;
+  default:
+    Unimplemented();
+    break;
+  }
+  return out;
 }
 
 inline bool SExpr::isAtom() const {

diff --git a/src/util/sexpr.i b/src/util/sexpr.i
index c925f9f95b78534fc0f9ab977087d65cbcb87620..99f197ff7627b89f372f3d6ec63f59ed41cc57a4 100644 (file)
--- a/src/util/sexpr.i
+++ b/src/util/sexpr.i
@@ -3,5 +3,6 @@
 %}
 
 %ignore CVC4::operator<<(std::ostream&, const SExpr&);
+%ignore CVC4::operator<<(std::ostream&, SExpr::SexprTypes);
 
 %include "util/sexpr.h"