diff options
| -rw-r--r-- | intf/glob_term.mli | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/intf/glob_term.mli b/intf/glob_term.mli index 93f391afa3..d89b5840db 100644 --- a/intf/glob_term.mli +++ b/intf/glob_term.mli @@ -54,7 +54,10 @@ type glob_constr = and glob_decl = name * binding_kind * glob_constr option * glob_constr -and fix_recursion_order = GStructRec | GWfRec of glob_constr | GMeasureRec of glob_constr * glob_constr option +and fix_recursion_order = + | GStructRec + | GWfRec of glob_constr + | GMeasureRec of glob_constr * glob_constr option and fix_kind = | GFix of ((int option * fix_recursion_order) array * int) |