From 2c7da77682998d520136249897f69ceed53d49a9 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 20 Sep 2012 13:36:12 +0000
Subject: some bugfixes that come as a result of debugging some CASCADE/C
 stuff..

(this commit was certified error- and warning-free by the test-and-commit script.)
---
 src/util/sexpr.i | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/util/sexpr.i')

diff --git a/src/util/sexpr.i b/src/util/sexpr.i
index 99f197ff7..dba8a0f29 100644
--- a/src/util/sexpr.i
+++ b/src/util/sexpr.i
@@ -5,4 +5,9 @@
 %ignore CVC4::operator<<(std::ostream&, const SExpr&);
 %ignore CVC4::operator<<(std::ostream&, SExpr::SexprTypes);
 
+// for Java and the like
+%extend CVC4::SExpr {
+  std::string toString() const { return self->getValue(); }
+};/* CVC4::SExpr */
+
 %include "util/sexpr.h"
-- 
cgit v1.2.3