Index: src/Parser/ExpressionNode.cc
===================================================================
--- src/Parser/ExpressionNode.cc	(revision f77dbc0dcbf73c4858565e6107fa1a519f2b4860)
+++ src/Parser/ExpressionNode.cc	(revision 6e3eaa574b989838aa09b0b339b00462369bc32e)
@@ -10,6 +10,6 @@
 // Created On       : Sat May 16 13:17:07 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 22 11:57:39 2018
-// Update Count     : 801
+// Last Modified On : Mon Jun  4 21:24:45 2018
+// Update Count     : 802
 //
 
@@ -314,4 +314,5 @@
 
 Expression * build_constantStr( string & str ) {
+	assert( str.length() > 0 );
 	string units;										// units
 	sepString( str, units, '"' );						// separate constant from units
Index: src/Parser/parser.yy
===================================================================
--- src/Parser/parser.yy	(revision f77dbc0dcbf73c4858565e6107fa1a519f2b4860)
+++ src/Parser/parser.yy	(revision 6e3eaa574b989838aa09b0b339b00462369bc32e)
@@ -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:18:40 2018
-// Update Count     : 3487
+// Last Modified On : Mon Jun  4 21:24:46 2018
+// Update Count     : 3488
 //
 
@@ -1338,5 +1338,5 @@
 		{ $$ = DeclarationNode::newStaticAssert( $3, $5 ); }
 	| STATICASSERT '(' constant_expression ')' ';'		// CFA
-		{ $$ = DeclarationNode::newStaticAssert( $3, build_constantStr( *new string( "" ) ) ); }
+		{ $$ = DeclarationNode::newStaticAssert( $3, build_constantStr( *new string( "\"\"" ) ) ); }
 
 // C declaration syntax is notoriously confusing and error prone. Cforall provides its own type, variable and function