Project

General

Profile

Revision 95944ba1 src/causality.ml

View differences:

src/causality.ml
395 395
      (fun td ->
396 396
	match td.top_decl_desc with 
397 397
	| Node nd ->
398
	   let prednode n = is_generic_node (Hashtbl.find node_table n) in
398
	   let prednode n = is_generic_node (node_from_name n) in
399 399
	   nd.node_gencalls <- get_calls prednode nd
400 400
	| _ -> ()
401 401
	   

Also available in: Unified diff