# HG changeset patch
# User wenzelm
# Date 1167409489 -3600
# Node ID 4ba9531c60ebf6c15bf4531f0275037a2519082c
# Parent  c7a7d3ab81d00e7f183c7de27d1e7f2f380abccc
renamed Graph.project to Graph.subgraph;

diff -r c7a7d3ab81d0 -r 4ba9531c60eb src/Pure/Tools/codegen_thingol.ML
--- a/src/Pure/Tools/codegen_thingol.ML	Fri Dec 29 17:24:47 2006 +0100
+++ b/src/Pure/Tools/codegen_thingol.ML	Fri Dec 29 17:24:49 2006 +0100
@@ -310,7 +310,7 @@
           |> subtract (op =) hidden;
   in
     code
-    |> Graph.project (member (op =) selected)
+    |> Graph.subgraph (member (op =) selected)
   end;
 
 fun check_samemodule names =