1.1 --- a/src/Pure/ML-Systems/polyml_common.ML	Wed May 12 17:10:53 2010 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml_common.ML	Wed May 12 22:43:05 2010 +0200
     1.3 @@ -6,7 +6,11 @@
     1.4  exception Interrupt = SML90.Interrupt;
     1.5  
     1.6  use "General/exn.ML";
     1.7 -use "ML-Systems/single_assignment_polyml.ML";
     1.8 +
     1.9 +if List.exists (fn s => s = "SingleAssignment") (PolyML.Compiler.structureNames ())
    1.10 +then ()
    1.11 +else use "ML-Systems/single_assignment_polyml.ML";
    1.12 +
    1.13  use "ML-Systems/multithreading.ML";
    1.14  use "ML-Systems/time_limit.ML";
    1.15  use "ML-Systems/timing.ML";