Project

General

Profile

Revision 5c1184ad src/normalization.ml

View differences:

src/normalization.ml
308 308
  match decl.top_decl_desc with
309 309
  | Node nd ->
310 310
    {decl with top_decl_desc = Node (normalize_node nd)}
311
  | Include _ | ImportedNode _ | ImportedFun _ | Consts _ -> decl
311
  | Open _ | ImportedNode _ | ImportedFun _ | Consts _ -> decl
312 312
  
313 313
let normalize_prog decls = 
314 314
  List.map normalize_decl decls

Also available in: Unified diff