# HG changeset patch
# User wenzelm
# Date 932156682 -7200
# Node ID 44bd3c094fd6e98be604e5b6cbeb62ec3d640d5f
# Parent  5d1eafaff50cf6a87c016edc52a7a47368c08dbf
tuned;

diff -r 5d1eafaff50c -r 44bd3c094fd6 src/Pure/Thy/thy_syn.ML
--- a/src/Pure/Thy/thy_syn.ML	Fri Jul 16 22:23:26 1999 +0200
+++ b/src/Pure/Thy/thy_syn.ML	Fri Jul 16 22:24:42 1999 +0200
@@ -16,7 +16,7 @@
   val add_syntax: string list ->
     (string * (ThyParse.token list -> (string * string) * ThyParse.token list)) list
     -> unit
-  val get_lexicon: unit -> Scan.lexicon;
+  val get_lexicon: unit -> Scan.lexicon
   val load_thy: string -> string list -> unit
 end;