src/Pure/IsaMakefile
changeset 43850 7f2cbc713344
parent 43847 529159f81d06
child 43948 8f5add916a99
     1.1 --- a/src/Pure/IsaMakefile	Sat Jul 16 20:14:58 2011 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Sat Jul 16 20:52:41 2011 +0200
     1.3 @@ -53,7 +53,6 @@
     1.4  
     1.5  $(OUT)/Pure: $(BOOTSTRAP_FILES)				\
     1.6    Concurrent/bash.ML 					\
     1.7 -  Concurrent/bash_ops.ML				\
     1.8    Concurrent/bash_sequential.ML				\
     1.9    Concurrent/cache.ML					\
    1.10    Concurrent/future.ML					\