Index: src/Parser/parser.yy
===================================================================
--- src/Parser/parser.yy	(revision 46fa473b8c84c0fa98b949094061652ebbe3eccd)
+++ src/Parser/parser.yy	(revision b47b827d5531920f02d29b7c910feceda9912521)
@@ -10,6 +10,6 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jun  2 17:16:19 2018
-// Update Count     : 3480
+// Last Modified On : Sat Jun  2 17:18:40 2018
+// Update Count     : 3487
 //
 
@@ -1331,5 +1331,5 @@
 	c_declaration ';'
 	| cfa_declaration ';'								// CFA
-	| static_assert
+	| static_assert										// C11
 	;
 
@@ -1337,4 +1337,6 @@
 	STATICASSERT '(' constant_expression ',' string_literal ')' ';' // C11
 		{ $$ = DeclarationNode::newStaticAssert( $3, $5 ); }
+	| STATICASSERT '(' constant_expression ')' ';'		// CFA
+		{ $$ = DeclarationNode::newStaticAssert( $3, build_constantStr( *new string( "" ) ) ); }
 
 // C declaration syntax is notoriously confusing and error prone. Cforall provides its own type, variable and function
@@ -1892,5 +1894,5 @@
 	| cfa_typedef_declaration ';'						// CFA
 		{ SemanticError( yylloc, "Typedef in aggregate is currently unimplemented." ); $$ = nullptr; }
-	| static_assert
+	| static_assert										// C11
 	;