Index: src/InitTweak/FixInit.cc
===================================================================
--- src/InitTweak/FixInit.cc	(revision f0728921836dddcda765c8e1d819f407d111abb0)
+++ src/InitTweak/FixInit.cc	(revision aac99da6739d48d03fa818583c7e87f28d476990)
@@ -10,6 +10,6 @@
 // Created On       : Wed Jan 13 16:29:30 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jun 21 17:35:05 2017
-// Update Count     : 74
+// Last Modified On : Fri Feb  8 09:35:34 2019
+// Update Count     : 75
 //
 #include "FixInit.h"
@@ -762,5 +762,5 @@
 
 						// static bool __objName_uninitialized = true
-						BasicType * boolType = new BasicType( Type::Qualifiers(), BasicType::Bool );
+						BasicType * boolType = new BasicType( Type::Qualifiers(), BasicType::_Bool );
 						SingleInit * boolInitExpr = new SingleInit( new ConstantExpr( Constant::from_int( 1 ) ) );
 						ObjectDecl * isUninitializedVar = new ObjectDecl( objDecl->get_mangleName() + "_uninitialized", Type::StorageClasses( Type::Static ), LinkageSpec::Cforall, 0, boolType, boolInitExpr );