src/Pure/PIDE/resources.scala
changeset 66766 19f8385ddfd3
parent 66716 8737b866bd1c
child 66767 294c2e9a689e
     1.1 --- a/src/Pure/PIDE/resources.scala	Wed Oct 04 20:16:53 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Thu Oct 05 14:58:04 2017 +0200
     1.3 @@ -134,7 +134,7 @@
     1.4          if (base_name != name)
     1.5            error("Bad theory name " + quote(name) +
     1.6              " for file " + thy_path(Path.basic(base_name)) + Position.here(pos) +
     1.7 -            Completion.report_names(pos, 1, List((base_name, ("theory", base_name)))))
     1.8 +            Completion.report_theories(pos, List(base_name)))
     1.9  
    1.10          val imports = header.imports.map({ case (s, pos) => (import_name(node_name, s), pos) })
    1.11          Document.Node.Header(imports, header.keywords, header.abbrevs)