diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-07-18 17:34:12 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-07-18 17:34:12 +0000 |
| commit | d1459372b7d5f766cd20fb5546ce82bfbb5726b5 (patch) | |
| tree | 6eafd2a62ea88bf2e329dbc7a11dc66340c92f96 /src/util/sexpr.h | |
| parent | 4923b53ad705acc04348da693f03f83f8d9853db (diff) | |
removing output operator for SExprTypes, which is never used (and SExprTypes is not public-facing)---this fixes the language bindings, which fixes the broken debian build overnight
Diffstat (limited to 'src/util/sexpr.h')
| -rw-r--r-- | src/util/sexpr.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/util/sexpr.h b/src/util/sexpr.h index a49da4b48..9db9a34ce 100644 --- a/src/util/sexpr.h +++ b/src/util/sexpr.h @@ -43,7 +43,6 @@ class CVC4_PUBLIC SExpr { SEXPR_RATIONAL, SEXPR_NOT_ATOM } d_sexprType; - friend std::ostream& operator<<(std::ostream&, SExprTypes); /** The value of an atomic integer-valued S-expression. */ CVC4::Integer d_integerValue; @@ -154,8 +153,6 @@ public: };/* class SExpr */ -std::ostream& operator<<(std::ostream& out, SExpr::SExprTypes type) CVC4_PUBLIC; - inline bool SExpr::isAtom() const { return d_sexprType != SEXPR_NOT_ATOM; } |