Changes in src/InitTweak/FixInit.cpp [7a780ad:4e2f1b2]

File:

• src/InitTweak/FixInit.cpp (modified) (1 diff)

src/InitTweak/FixInit.cpp

@@ -847 +847 @@
 
                         // static bool __objName_uninitialized = true
-                        auto boolType = new ast::BasicType( ast::BasicKind::Bool );
+                        auto boolType = new ast::BasicType( ast::BasicType::Kind::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);