# HG changeset patch
# User huffman
# Date 1267589795 28800
# Node ID 3bf57d8cb58d5195c46ff1f3fc88273008cd3d93
# Parent  089e438b925b57a0f88b0a420944b2cdc33b8bdf
update HOLCF makefile

diff -r 089e438b925b -r 3bf57d8cb58d src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Tue Mar 02 20:04:17 2010 -0800
+++ b/src/HOLCF/IsaMakefile	Tue Mar 02 20:16:35 2010 -0800
@@ -70,7 +70,7 @@
   Tools/Domain/domain_constructors.ML \
   Tools/Domain/domain_isomorphism.ML \
   Tools/Domain/domain_library.ML \
-  Tools/Domain/domain_syntax.ML \
+  Tools/Domain/domain_take_proofs.ML \
   Tools/Domain/domain_theorems.ML \
   Tools/fixrec.ML \
   Tools/pcpodef.ML \