Project

General

Profile

Revision ef34b4ae src/normalization.ml

View differences:

src/normalization.ml
401 401
  match decl.top_decl_desc with
402 402
  | Node nd ->
403 403
    {decl with top_decl_desc = Node (normalize_node nd)}
404
  | Open _ | ImportedNode _ | Consts _ | Type _ -> decl
404
  | Open _ | ImportedNode _ | Const _ | TypeDef _ -> decl
405 405
  
406 406
let normalize_prog decls = 
407 407
  List.map normalize_decl decls

Also available in: Unified diff