--- a/src/Pure/ML-Systems/smlnj.ML Thu Nov 08 23:55:04 2001 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML Thu Nov 08 23:57:22 2001 +0100
@@ -206,8 +206,3 @@
(case OS.Process.getEnv var of
NONE => ""
| SOME txt => txt);
-
-
-(* non-ASCII input (see also Thy/use.ML) *)
-
-val needs_filtered_use = false;