src/Tools/VSCode/src/server.scala
changeset 64623 83f012ce2567
parent 64622 529bbb8977c7
child 64641 7b9196394b32
     1.1 --- a/src/Tools/VSCode/src/server.scala	Tue Dec 20 22:24:16 2016 +0100
     1.2 +++ b/src/Tools/VSCode/src/server.scala	Tue Dec 20 22:32:04 2016 +0100
     1.3 @@ -96,7 +96,7 @@
     1.4    private val state = Synchronized(Server.State())
     1.5  
     1.6    def session: Session = state.value.session getOrElse error("Session inactive")
     1.7 -  def resources: URI_Resources = session.resources.asInstanceOf[URI_Resources]
     1.8 +  def resources: VSCode_Resources = session.resources.asInstanceOf[VSCode_Resources]
     1.9  
    1.10  
    1.11    /* init and exit */
    1.12 @@ -105,7 +105,7 @@
    1.13    {
    1.14      val content = Build.session_content(options, false, session_dirs, session_name)
    1.15      val resources =
    1.16 -      new URI_Resources(content.loaded_theories, content.known_theories, content.syntax)
    1.17 +      new VSCode_Resources(content.loaded_theories, content.known_theories, content.syntax)
    1.18  
    1.19      val session =
    1.20        new Session(resources) {