Commit 5753ddb5 authored by POTTIER Francois's avatar POTTIER Francois

Move #include.

parent 29bf46f4
#include "AlphaLibMacros.cppo.ml"
(* -------------------------------------------------------------------------- *)
(* This functor is applied to a type of terms, equipped with visitor classes.
......@@ -84,6 +82,8 @@ type nominal_term =
(* -------------------------------------------------------------------------- *)
#include "AlphaLibMacros.cppo.ml"
__FILTER
FILTER(term)
......
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