diff options
Diffstat (limited to 'intf/constrexpr.mli')
-rw-r--r-- | intf/constrexpr.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/intf/constrexpr.mli b/intf/constrexpr.mli index 4f1e9d8e6..5366a302e 100644 --- a/intf/constrexpr.mli +++ b/intf/constrexpr.mli @@ -149,4 +149,4 @@ type module_ast_r = | CMident of qualid | CMapply of module_ast * module_ast | CMwith of module_ast * with_declaration_ast -and module_ast = module_ast_r Loc.located +and module_ast = module_ast_r CAst.ast |