src/Pure/pure_setup.ML

 
 use_thy "Pure";
 structure Pure = struct val thy = theory "Pure" end;
 
 Context.add_setup
- (Sign.del_modesyntax_i Syntax.default_mode PureThy.appl_syntax #>
+ (Sign.del_modesyntax_i Syntax.mode_default PureThy.appl_syntax #>
   Sign.add_syntax_i PureThy.applC_syntax);
 use_thy "CPure";
 structure CPure = struct val thy = theory "CPure" end;