Index: src/SynTree/Constant.cc
===================================================================
--- src/SynTree/Constant.cc	(revision de62360d1d2709386152807b3d18e159e241ab1f)
+++ src/SynTree/Constant.cc	(revision 94e0864d381ec34e8e25850109ea127ff29efbca)
@@ -9,7 +9,7 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Jun  7 08:45:30 2015
-// Update Count     : 5
+// Last Modified By : Rob Schluntz
+// Last Modified On : Wed Jun 10 14:41:03 2015
+// Update Count     : 8
 //
 
@@ -27,9 +27,10 @@
 
 void Constant::print( std::ostream &os ) const {
-	os << value;
+	os << "(" << value;
 	if ( type ) {
-		os << " ";
+		os << ": ";
 		type->print( os );
 	} // if
+  os << ")";
 }