Index: src/Tuples/TupleExpansion.cc
===================================================================
--- src/Tuples/TupleExpansion.cc	(revision 2c1873785c86a3090205e2dd10829b87c86b12cd)
+++ src/Tuples/TupleExpansion.cc	(revision aac99da6739d48d03fa818583c7e87f28d476990)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jun 21 17:35:04 2017
-// Update Count     : 19
+// Last Modified On : Fri Feb  8 09:31:55 2019
+// Update Count     : 20
 //
 
@@ -168,5 +168,5 @@
 				commaExpr->set_arg1( nullptr );
 			}
-			ObjectDecl * finished = new ObjectDecl( toString( "_unq", id, "_finished_" ), Type::StorageClasses(), LinkageSpec::Cforall, nullptr, new BasicType( Type::Qualifiers(), BasicType::Bool ),
+			ObjectDecl * finished = new ObjectDecl( toString( "_unq", id, "_finished_" ), Type::StorageClasses(), LinkageSpec::Cforall, nullptr, new BasicType( Type::Qualifiers(), BasicType::_Bool ),
 													new SingleInit( new ConstantExpr( Constant::from_int( 0 ) ) ) );
 			declsToAddBefore.push_back( finished );