src/Pure/ML-Systems/smlnj-basis-compat.ML

removed ad-hoc atp_hook, cal_atp;
removed depth_of;
tuned;

(*  Title:      Pure/ML-Systems/smlnj-basis-compat.ML
    ID:         $Id$
    Author:     Sebastian Skalberg (TU Muenchen)

Compatibility file for Standard ML of New Jersey 110.44 or later. Here
signatures that have changed to adhere to the SML Basis Library are
changed back to their old values. So much for standards...
*)

structure TextIO =
struct
open TextIO
fun inputLine is =
    case TextIO.inputLine is of
	SOME str => str
      | NONE => ""
end;