src/Pure/Isar/attrib.ML
changeset 46126 bab00660539d
parent 45619 76c5f277b234
child 46506 c7faa011bfa7
     1.1 --- a/src/Pure/Isar/attrib.ML	Thu Jan 05 18:18:39 2012 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Thu Jan 05 20:26:01 2012 +0100
     1.3 @@ -498,7 +498,6 @@
     1.4  val _ = Context.>> (Context.map_theory
     1.5   (register_config Ast.trace_raw #>
     1.6    register_config Ast.stats_raw #>
     1.7 -  register_config Syntax.positions_raw #>
     1.8    register_config Printer.show_brackets_raw #>
     1.9    register_config Printer.show_sorts_raw #>
    1.10    register_config Printer.show_types_raw #>