# HG changeset patch
# User wenzelm
# Date 1396525777 -7200
# Node ID fe520afb8041b5ba5939a82023722663eb1cb0f5
# Parent  76acce58aeab90ea22377985bb073c9af962545f
tuned signature -- pro forma;

diff -r 76acce58aeab -r fe520afb8041 src/Pure/PIDE/prover.scala
--- a/src/Pure/PIDE/prover.scala	Thu Apr 03 13:46:18 2014 +0200
+++ b/src/Pure/PIDE/prover.scala	Thu Apr 03 13:49:37 2014 +0200
@@ -13,7 +13,7 @@
 
   sealed abstract class Message
 
-  class Input(name: String, args: List[String]) extends Message
+  class Input(val name: String, val args: List[String]) extends Message
   {
     override def toString: String =
       XML.Elem(Markup(Markup.PROVER_COMMAND, List((Markup.NAME, name))),