# HG changeset patch
# User ballarin
# Date 1228925892 -3600
# Node ID a91012d9db21f03fc022cdc574acc316a2d9514a
# Parent  62dc8762ec005d148613b42f0eca45f4c026bae7
Missing dependency

diff -r 62dc8762ec00 -r a91012d9db21 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Wed Dec 10 16:30:33 2008 +0100
+++ b/src/Pure/IsaMakefile	Wed Dec 10 17:18:12 2008 +0100
@@ -26,7 +26,8 @@
   Concurrent/par_list_dummy.ML Concurrent/schedule.ML			\
   Concurrent/simple_thread.ML Concurrent/synchronized.ML		\
   Concurrent/task_queue.ML General/ROOT.ML General/alist.ML		\
-  General/balanced_tree.ML General/basics.ML General/buffer.ML		\
+  General/balanced_tree.ML General/basics.ML General/binding.ML         \
+  General/buffer.ML		\
   General/file.ML General/graph.ML General/heap.ML General/integer.ML	\
   General/lazy.ML General/markup.ML General/name_space.ML		\
   General/ord_list.ML General/output.ML General/path.ML			\