made SML/NJ happy;

--- a/src/Pure/Syntax/token_trans.ML	Fri Aug 28 15:01:13 1998 +0200
+++ b/src/Pure/Syntax/token_trans.ML	Sun Aug 30 15:14:42 1998 +0200
@@ -134,7 +134,7 @@
 (* FIXME 'a -> \alpha etc. *)
 
 val latex_trans =
- trans_mode "latex" [];
+ trans_mode "latex" [] : (string * string * (string -> string * int)) list;