Project

General

Profile

Revision 64dfa450

View differences:

src/sortProg.ml
1 1
open Graph
2 2
open Corelang
3
module TopologicalDepGraph = Topological.Make_stable(Causality.IdentDepGraph)
3
module TopologicalDepGraph = Topological.Make(Causality.IdentDepGraph)
4 4

  
5 5
let get_node nid prog =
6 6
  List.find (fun t -> match t.top_decl_desc with Node n -> n.node_id = nid | _ -> false) prog

Also available in: Unified diff