Index: src/InitTweak/FixInit.cpp
===================================================================
--- src/InitTweak/FixInit.cpp	(revision 4e2f1b216788e887c85c4a9a6775a44dacfd359a)
+++ src/InitTweak/FixInit.cpp	(revision 7a780ad23506507b6a1feccc46d18e12da183ceb)
@@ -847,5 +847,5 @@
 
 			// static bool __objName_uninitialized = true
-			auto boolType = new ast::BasicType( ast::BasicType::Kind::Bool );
+			auto boolType = new ast::BasicType( ast::BasicKind::Bool );
 			auto boolInitExpr = new ast::SingleInit(loc, ast::ConstantExpr::from_int(loc, 1 ) );
 			auto isUninitializedVar = new ast::ObjectDecl(loc, objDecl->mangleName + "_uninitialized", boolType, boolInitExpr, ast::Storage::Static, ast::Linkage::Cforall);