src/Pure/ML-Systems/smlnj.ML
changeset 4428 5c26253b8a2e
parent 4407 7d4e2832b791
child 4977 6cec2c0ffdbf
--- a/src/Pure/ML-Systems/smlnj.ML	Wed Dec 17 14:57:02 1997 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML	Wed Dec 17 14:57:26 1997 +0100
@@ -117,6 +117,6 @@
   | SOME txt => txt);
 
 
-(* non-ASCII input (see also Thy/symbol_input.ML) *)
+(* non-ASCII input (see also Thy/use.ML) *)
 
 val needs_filtered_use = false;