Revision 17abbe95 src/normalization.ml
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 |
| Open _ | ImportedNode _ | ImportedFun _ | Consts _ -> decl
|
|
311 |
| Include _ | ImportedNode _ | ImportedFun _ | Consts _ -> decl
|
|
312 | 312 |
|
313 | 313 |
let normalize_prog decls = |
314 | 314 |
List.map normalize_decl decls |
Also available in: Unified diff