Changes in src/Parser/ParseNode.h [5d125e4:8e9cbb2]

File:

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

src/Parser/ParseNode.h

@@ -10 +10 @@
 // Created On       : Sat May 16 13:28:16 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jul 12 20:50:21 2016
-// Update Count     : 261
+// Last Modified On : Mon Jul  4 15:35:09 2016
+// Update Count     : 260
 //
 
@@ -367 +367 @@
         static DeclarationNode *newForall( DeclarationNode *);
         static DeclarationNode *newFromTypedef( std::string *);
-        static DeclarationNode *newAggregate( Aggregate kind, const std::string *name, ExpressionNode *actuals, DeclarationNode *fields, bool body );
+        static DeclarationNode *newAggregate( Aggregate kind, const std::string *name, ExpressionNode *actuals, DeclarationNode *fields );
         static DeclarationNode *newEnum( std::string *name, DeclarationNode *constants );
         static DeclarationNode *newEnumConstant( std::string *name, ExpressionNode *constant );