Project

General

Profile

« Previous | Next » 

Revision 95944ba1

Added by Pierre-Loïc Garoche almost 5 years ago

Cleaning up stuff in normalization. Mainly replace arguments with only required elements
node_Table hashtbl is now only available through functions of the corelang.mli

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