Commit ca8a20d8 authored by Claude Marche's avatar Claude Marche

Finally the right Coq 8.4 compatibility code

parent d9f7420a
let body_of_constant = Declarations.body_of_constant
let on_leaf_node node f =
match node with
| Lib.Leaf lobj -> f lobj
| Lib.CompilingLibrary _
| Lib.OpenedModule _
| Lib.ClosedModule _
| Lib.OpenedSection _
| Lib.ClosedSection _
| Lib.FrozenState _ -> ()
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment