src/Pure/Thy/thy_info.ML
changeset 65532 febfd9f78bd4
parent 65505 741fad555d82
child 66371 26735fab7a8f
     1.1 --- a/src/Pure/Thy/thy_info.ML	Fri Apr 21 13:51:43 2017 +0200
     1.2 +++ b/src/Pure/Thy/thy_info.ML	Fri Apr 21 14:09:03 2017 +0200
     1.3 @@ -408,7 +408,7 @@
     1.4  fun use_thy name =
     1.5    use_theories
     1.6      {document = false, symbols = HTML.no_symbols, last_timing = K Time.zeroTime,
     1.7 -     qualifier = Resources.default_qualifier (), master_dir = Path.current}
     1.8 +     qualifier = Resources.default_qualifier, master_dir = Path.current}
     1.9      [(name, Position.none)];
    1.10  
    1.11