# HG changeset patch
# User haftmann
# Date 1238254179 -3600
# Node ID 16c689643a7a3f0e001acbc47b2b9bb6c46cbf14
# Parent  44561a14a4c5881f82719758e76304bd323f1f9a
corrected projection of required statement names

diff -r 44561a14a4c5 -r 16c689643a7a src/Tools/code/code_target.ML
--- a/src/Tools/code/code_target.ML	Sat Mar 28 16:29:38 2009 +0100
+++ b/src/Tools/code/code_target.ML	Sat Mar 28 16:29:39 2009 +0100
@@ -411,7 +411,7 @@
     val names_hidden = names_class @ names_inst @ names_tyco @ names_const;
     val names2 = subtract (op =) names_hidden names1;
     val program3 = Graph.subgraph (not o member (op =) names_hidden) program2;
-    val names_all = Graph.all_succs program2 names2;
+    val names_all = Graph.all_succs program3 names2;
     val includes = abs_includes names_all;
     val program4 = Graph.subgraph (member (op =) names_all) program3;
     val empty_funs = filter_out (member (op =) abortable)