# HG changeset patch
# User wenzelm
# Date 1175621508 -7200
# Node ID 1beba4e2aa9fd4248f8459da70e106891a7d1e56
# Parent  2ed8a11f3172839682d4f69114bd332cf8cc2bdf
tuned comments;

diff -r 2ed8a11f3172 -r 1beba4e2aa9f src/Pure/ML-Systems/alice.ML
--- a/src/Pure/ML-Systems/alice.ML	Tue Apr 03 19:24:22 2007 +0200
+++ b/src/Pure/ML-Systems/alice.ML	Tue Apr 03 19:31:48 2007 +0200
@@ -2,8 +2,6 @@
     ID:         $Id$
 
 Compatibility file for Alice 1.4 (CVS version).
-val ml_system = "alice";
-use "ML-Systems/alice.ML";
 *)
 
 fun exit 0 = (OS.Process.exit OS.Process.success): unit