src/Pure/ROOT.ML
changeset 22796 34c316d7b630
parent 22694 077ce0e019fa
child 22904 de2d630e1548
     1.1 --- a/src/Pure/ROOT.ML	Thu Apr 26 12:00:01 2007 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Thu Apr 26 12:00:05 2007 +0200
     1.3 @@ -101,8 +101,8 @@
     1.4  structure Pure = struct val thy = theory "Pure" end;
     1.5  
     1.6  Context.add_setup
     1.7 - (Theory.del_modesyntax Syntax.default_mode Syntax.appl_syntax #>
     1.8 -  Theory.add_syntax Syntax.applC_syntax);
     1.9 + (Sign.del_modesyntax Syntax.default_mode Syntax.appl_syntax #>
    1.10 +  Sign.add_syntax Syntax.applC_syntax);
    1.11  use_thy "CPure";
    1.12  structure CPure = struct val thy = theory "CPure" end;
    1.13