renamed Graph.project to Graph.subgraph;
authorwenzelm
Fri Dec 29 17:24:49 2006 +0100 (2006-12-29)
changeset 219374ba9531c60eb
parent 21936 c7a7d3ab81d0
child 21938 e5c96bb58252
renamed Graph.project to Graph.subgraph;
src/Pure/Tools/codegen_thingol.ML
     1.1 --- a/src/Pure/Tools/codegen_thingol.ML	Fri Dec 29 17:24:47 2006 +0100
     1.2 +++ b/src/Pure/Tools/codegen_thingol.ML	Fri Dec 29 17:24:49 2006 +0100
     1.3 @@ -310,7 +310,7 @@
     1.4            |> subtract (op =) hidden;
     1.5    in
     1.6      code
     1.7 -    |> Graph.project (member (op =) selected)
     1.8 +    |> Graph.subgraph (member (op =) selected)
     1.9    end;
    1.10  
    1.11  fun check_samemodule names =