src/Pure/IsaMakefile

 
 ## Pure
 
 BOOTSTRAP_FILES = 					\
   General/exn.ML					\
+  General/timing.ML					\
   ML-Systems/bash.ML 					\
   ML-Systems/compiler_polyml-5.2.ML			\
   ML-Systems/compiler_polyml-5.3.ML			\
   ML-Systems/ml_name_space.ML				\
   ML-Systems/ml_pretty.ML				\

   ML-Systems/single_assignment.ML			\
   ML-Systems/single_assignment_polyml.ML		\
   ML-Systems/smlnj.ML					\
   ML-Systems/thread_dummy.ML				\
   ML-Systems/time_limit.ML				\
-  ML-Systems/timing.ML					\
   ML-Systems/universal.ML				\
   ML-Systems/unsynchronized.ML				\
   ML-Systems/use_context.ML
 
 RAW: $(OUT)/RAW