wants [ConfigurationFile] init_status;
if not (already_configured [Notation] init_status) then
begin
- CicNotation.load_notation BuildTimeConf.core_notation_script;
+ CicNotation2.load_notation BuildTimeConf.core_notation_script;
Notation::init_status
end
else