src/Pure/PIDE/resources.ML
changeset 65058 3e9f382fb67e
parent 63675 e217525d6b64
child 65431 4a3e6cda3b94
     1.1 --- a/src/Pure/PIDE/resources.ML	Mon Feb 27 00:00:28 2017 +0100
     1.2 +++ b/src/Pure/PIDE/resources.ML	Mon Feb 27 16:29:52 2017 +0100
     1.3 @@ -17,7 +17,7 @@
     1.4    val provide_parse_files: string -> (theory -> Token.file list * theory) parser
     1.5    val loaded_files_current: theory -> bool
     1.6    val begin_theory: Path.T -> Thy_Header.header -> theory list -> theory
     1.7 -  val load_thy: bool -> HTML.symbols -> (Toplevel.transition -> Time.time option) -> int ->
     1.8 +  val load_thy: bool -> HTML.symbols -> (Toplevel.transition -> Time.time) -> int ->
     1.9      Path.T -> Thy_Header.header -> Position.T -> string -> theory list ->
    1.10      theory * (unit -> unit) * int
    1.11  end;