src/Pure/Thy/export_theory.ML
changeset 69071 3ef82592dc22
parent 69069 b9aca3b9619f
child 69076 90cce2f79e77
     1.1 --- a/src/Pure/Thy/export_theory.ML	Wed Sep 26 13:36:10 2018 +0200
     1.2 +++ b/src/Pure/Thy/export_theory.ML	Wed Sep 26 17:04:50 2018 +0200
     1.3 @@ -178,9 +178,9 @@
     1.4        let
     1.5          val ass =
     1.6            (case assoc of
     1.7 -            Syntax_Ext.No_Assoc => 0
     1.8 -          | Syntax_Ext.Left_Assoc => 1
     1.9 -          | Syntax_Ext.Right_Assoc => 2);
    1.10 +            Printer.No_Assoc => 0
    1.11 +          | Printer.Left_Assoc => 1
    1.12 +          | Printer.Right_Assoc => 2);
    1.13          open XML.Encode Term_XML.Encode;
    1.14        in triple int string int (ass, delim, pri) end;
    1.15