src/Pure/IsaMakefile
changeset 32737 76fa673eee8b
parent 32736 f126e68d003d
child 32815 1a5e364584ae
     1.1 --- a/src/Pure/IsaMakefile	Mon Sep 28 23:51:13 2009 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Tue Sep 29 11:48:32 2009 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4    ML-Systems/pp_polyml.ML ML-Systems/proper_int.ML ML-Systems/smlnj.ML	\
     1.5    ML-Systems/system_shell.ML ML-Systems/thread_dummy.ML			\
     1.6    ML-Systems/timing.ML ML-Systems/time_limit.ML				\
     1.7 -  ML-Systems/universal.ML
     1.8 +  ML-Systems/universal.ML ML-Systems/unsynchronized.ML
     1.9  
    1.10  RAW: $(OUT)/RAW
    1.11