src/Pure/Thy/thy_syn.ML

--- a/src/Pure/Thy/thy_syn.ML	Fri Jul 15 12:24:05 1994 +0200
+++ b/src/Pure/Thy/thy_syn.ML	Fri Jul 15 13:30:42 1994 +0200
@@ -14,7 +14,7 @@
 
 signature THY_SYN =
 sig
-  val parse: string -> string
+  val parse: string -> string -> string
 end;
 
 functor ThySynFun(ThySynData: THY_SYN_DATA): THY_SYN =