1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node.cpp b/src/expr/node.cpp
index d9933689d..efcd42999 100644
--- a/src/expr/node.cpp
+++ b/src/expr/node.cpp
@@ -26,7 +26,7 @@ using namespace std;
 namespace CVC4 {
 
 TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node,
-                                                           string message) :
+                                                           std::string message) :
   Exception(message),
   d_node(new Node(node)) {
 }