diff options
Diffstat (limited to 'src/monomorphise.mli')
| -rw-r--r-- | src/monomorphise.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monomorphise.mli b/src/monomorphise.mli index 1a82c8d0..39d89461 100644 --- a/src/monomorphise.mli +++ b/src/monomorphise.mli @@ -56,6 +56,7 @@ type options = { } val monomorphise : + string -> (* Target backend *) options -> ((string * int) * string) list -> (* List of splits from the command line *) Type_check.tannot Ast.defs -> |