Project

General

Profile

Revision 19a1e66b src/plugins/mpfr/mpfr.ml

View differences:

src/plugins/mpfr/mpfr.ml
315 315
  match decl.top_decl_desc with
316 316
  | Node nd ->
317 317
    {decl with top_decl_desc = Node (inject_node nd)}
318
  | Open _ | ImportedNode _ | Const _ | TypeDef _ -> decl
318
  | Include _ | Open _ | ImportedNode _ | Const _ | TypeDef _ -> decl
319 319
  
320 320
let inject_prog decls = 
321 321
  List.map inject_decl decls

Also available in: Unified diff