--- a/src/Pure/Syntax/ROOT.ML Fri Feb 28 15:52:16 1997 +0100
+++ b/src/Pure/Syntax/ROOT.ML Fri Feb 28 16:36:49 1997 +0100
@@ -9,6 +9,7 @@
use "lexicon.ML";
structure Scanner: SCANNER = Lexicon;
use "symbol_font.ML";
+use "token_trans.ML";
use "ast.ML";
use "syn_ext.ML";
use "parser.ML";