From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 9 May 2012 22:40:48 +0000 (+0000)
Subject: fix an issue which breaks language bindings (so this commit fixes debian nightly... 
X-Git-Tag: cvc5-1.0.0~8192
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cb7a91be1a29c31d607e6287101f490b0cc7f731;p=cvc5.git

fix an issue which breaks language bindings (so this commit fixes debian nightly builds)
---

diff --git a/src/util/sexpr.h b/src/util/sexpr.h
index 040f8eb14..9d568bad8 100644
--- 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 c925f9f95..99f197ff7 100644
--- 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"