# HG changeset patch
# User paulson
# Date 1111658361 -3600
# Node ID 4c964b85df5ca84221c15ede5a8fb1c270c02466
# Parent  8ccdc8bc66a2d5ddc1e771382a7234281a5a0945
COMMENT IN WRONG PLACE

diff -r 8ccdc8bc66a2 -r 4c964b85df5c src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Mar 23 12:09:18 2005 +0100
+++ b/src/HOL/IsaMakefile	Thu Mar 24 10:59:21 2005 +0100
@@ -18,7 +18,6 @@
   HOL-CTL \
   HOL-Extraction \
       HOL-Complex-HahnBanach \
-      ####lcp temporary####HOL-Complex-Import \
   HOL-Hoare \
   HOL-HoareParallel \
   HOL-IMP \
@@ -44,6 +43,7 @@
   HOL-W0 \
   HOL-ex
     # ^ this is the sort position
+      ####lcp temporary####HOL-Complex-Import \
 
 all: test images