declare-sort, define-sort working but not thoroughly tested; define-fun half working (just need to decide where to expand)

1 files changed, 6 insertions, 5 deletions

diff --git a/src/expr/node.cpp b/src/expr/node.cpp
index 6b689034a..d9933689d 100644
--- a/src/expr/node.cpp
+++ b/src/expr/node.cpp
@@ -25,17 +25,18 @@ using namespace std;
 
 namespace CVC4 {
 
-TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node, std::string message)
-: Exception(message), d_node(new Node(node))
-{
+TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node,
+                                                           string message) :
+  Exception(message),
+  d_node(new Node(node)) {
 }
 
 TypeCheckingExceptionPrivate::~TypeCheckingExceptionPrivate() throw () {
   delete d_node;
 }
 
-std::string TypeCheckingExceptionPrivate::toString() const {
-  std::stringstream ss;
+string TypeCheckingExceptionPrivate::toString() const {
+  stringstream ss;
   ss << "Error type-checking " << d_node << ": " << d_msg;
   return ss.str();
 }