Project

General

Profile

Revision 19a1e66b src/normalization.ml

View differences:

src/normalization.ml
630 630
    let decl' = {decl with top_decl_desc = Node (normalize_node decls nd)} in
631 631
    Hashtbl.replace Corelang.node_table nd.node_id decl';
632 632
    decl'
633
  | Open _ | ImportedNode _ | Const _ | TypeDef _ -> decl
633
    | Include _| Open _ | ImportedNode _ | Const _ | TypeDef _ -> decl
634 634

  
635 635
let normalize_prog p decls =
636 636
  (* Backend specific configurations for normalization *)

Also available in: Unified diff