Changes in src/Parser/ParseNode.h [e869d663:7ee14bb7]

File:

• src/Parser/ParseNode.h (modified) (2 diffs)

src/Parser/ParseNode.h

@@ -9 +9 @@
 // Author           : Rodolfo G. Esteves
 // Created On       : Sat May 16 13:28:16 2015
-// Last Modified By : Rob Schluntz
-// Last Modified On : Wed Aug 12 13:27:11 2015
-// Update Count     : 172
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Fri Jan 15 17:24:30 2016
+// Update Count     : 174
 //
 
@@ -108 +108 @@
 
         ConstantNode( Type, std::string * );
+        ConstantNode( const ConstantNode &other ) : value( *new std::string( other.value ) ) {};
         ~ConstantNode() { delete &value; }