# HG changeset patch
# User wenzelm
# Date 1314698467 -7200
# Node ID ca3844a3dcf7ab65e1c905f2dc0f8b10b698e8bc
# Parent  96b6388d06c47b0047b29aae3acdd7dfd6ad5307
do not normalized extra file dependencies for now -- still loaded by prover process;

diff -r 96b6388d06c4 -r ca3844a3dcf7 src/Pure/Thy/thy_header.scala
--- a/src/Pure/Thy/thy_header.scala	Tue Aug 30 11:43:47 2011 +0200
+++ b/src/Pure/Thy/thy_header.scala	Tue Aug 30 12:01:07 2011 +0200
@@ -119,6 +119,8 @@
     Thy_Header(f(name), imports.map(f), uses.map(p => (f(p._1), p._2)))
 
   def norm_deps(f: String => String, g: String => String): Thy_Header =
-    copy(imports = imports.map(name => f(name)), uses = uses.map(p => (g(p._1), p._2)))
+    copy(imports = imports.map(name => f(name)))
+    // FIXME
+    // copy(imports = imports.map(name => f(name)), uses = uses.map(p => (g(p._1), p._2)))
 }