# HG changeset patch
# User urbanc
# Date 1170719595 -3600
# Node ID 5bad0d4296942db572b45d4e0dfee074db913d8e
# Parent  bbbcaa1fbff893f5573367f6ef607eb99b9036ed
corrected typo introduced by me

diff -r bbbcaa1fbff8 -r 5bad0d429694 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Feb 06 00:43:23 2007 +0100
+++ b/src/HOL/IsaMakefile	Tue Feb 06 00:53:15 2007 +0100
@@ -724,7 +724,7 @@
 $(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML \
   Nominal/Nominal.thy \
   Nominal/nominal_atoms.ML \
-  Nominal/nominal_induct.ML \				\
+  Nominal/nominal_induct.ML \
   Nominal/nominal_package.ML \
   Nominal/nominal_permeq.ML \
   Nominal/nominal_primrec.ML \