src/Tools/nbe.ML
changeset 44338 700008399ee5
parent 43619 3803869014aa
child 44788 8b935f1b3cf8
     1.1 --- a/src/Tools/nbe.ML	Sat Aug 20 22:46:19 2011 +0200
     1.2 +++ b/src/Tools/nbe.ML	Sat Aug 20 23:35:30 2011 +0200
     1.3 @@ -471,7 +471,7 @@
     1.4        then (nbe_program, (maxidx, idx_tab))
     1.5        else (nbe_program, (maxidx, idx_tab))
     1.6          |> compile_stmts thy (map (fn name => ((name, Graph.get_node program name),
     1.7 -          Graph.imm_succs program name)) names);
     1.8 +          Graph.immediate_succs program name)) names);
     1.9    in
    1.10      fold_rev add_stmts (Graph.strong_conn program)
    1.11    end;