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