Index: src/Parser/parser.yy
===================================================================
--- src/Parser/parser.yy	(revision 5fcba1437426785703d494193d2d94a7c266b9bc)
+++ src/Parser/parser.yy	(revision b9be000b3e999835a71ef82367f1dbc4c4561407)
@@ -10,6 +10,6 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Nov 27 17:23:35 2017
-// Update Count     : 2992
+// Last Modified On : Thu Dec 21 11:32:56 2017
+// Update Count     : 2996
 //
 
@@ -317,5 +317,5 @@
 %type<decl> cfa_typedef_declaration cfa_variable_declaration cfa_variable_specifier
 
-%type<decl> c_declaration
+%type<decl> c_declaration static_assert
 %type<decl> KR_function_declarator KR_function_no_ptr KR_function_ptr KR_function_array
 %type<decl> KR_declaration_list KR_declaration_list_opt
@@ -835,4 +835,5 @@
 	| exception_statement
 	| asm_statement
+	;
 
 labeled_statement:
@@ -1282,7 +1283,10 @@
 	c_declaration pop ';'
 	| cfa_declaration pop ';'							// CFA
-	| STATICASSERT '(' constant_expression ',' string_literal ')' ';' // C11
+	| static_assert
+	;
+
+static_assert:
+	STATICASSERT '(' constant_expression ',' string_literal ')' ';' // C11
 		{ throw SemanticError("Static assert is currently unimplemented."); $$ = nullptr; }	// FIX ME
-	;
 
 // C declaration syntax is notoriously confusing and error prone. Cforall provides its own type, variable and function
@@ -1890,4 +1894,5 @@
 			$$ = distAttr( $2, $3 );
 		}
+	| static_assert
 	;