# HG changeset patch
# User oheimb
# Date 861959512 -7200
# Node ID 7eacab79b8e17ee8e19ee3d658e525225496cb5a
# Parent  79c1ba7effb25568ca0d38713c97152bff65a536
removed one blank at end of line 37

diff -r 79c1ba7effb2 -r 7eacab79b8e1 src/HOLCF/Makefile
--- a/src/HOLCF/Makefile	Thu Apr 24 19:47:53 1997 +0200
+++ b/src/HOLCF/Makefile	Fri Apr 25 11:11:52 1997 +0200
@@ -34,7 +34,7 @@
 ONLYTHYS = Lift.thy
 
 FILES = ROOT.ML $(THYS) $(ONLYTHYS) $(THYS:.thy=.ML) \
-        ax_ops/holcflogic.ML ax_ops/thy_axioms.ML \ 
+        ax_ops/holcflogic.ML ax_ops/thy_axioms.ML \
         ax_ops/thy_ops.ML    ax_ops/thy_syntax.ML \
         domain/library.ML  domain/syntax.ML   domain/axioms.ML \
         domain/theorems.ML domain/extender.ML domain/interface.ML