src/Pure/ML-Systems/polyml_common.ML
changeset 28151 61f9c918b410
parent 26474 94735cff132c
child 28268 ac8431ecd57e
--- a/src/Pure/ML-Systems/polyml_common.ML	Sun Sep 07 17:46:41 2008 +0200
+++ b/src/Pure/ML-Systems/polyml_common.ML	Sun Sep 07 17:46:43 2008 +0200
@@ -5,8 +5,6 @@
 *)
 
 use "ML-Systems/exn.ML";
-if List.exists (fn s => s = "Universal") (PolyML.Compiler.structureNames ()) then ()
-else use "ML-Systems/universal.ML";
 use "ML-Systems/multithreading.ML";
 use "ML-Systems/time_limit.ML";
 use "ML-Systems/system_shell.ML";