diff options
| author | Alasdair Armstrong | 2017-07-28 15:39:52 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-28 15:39:52 +0100 |
| commit | 3c18efc6153c340517d7b229fe64b38e4d3e5f33 (patch) | |
| tree | 34f7ed3cce7bf6a3b35b94e117e0c6690ae73399 /src/initial_check.mli | |
| parent | 34c27ada18e9e36a0224e2ff9999559ed2899157 (diff) | |
| parent | f951a1712fe88eadc812643175ea8f3d31a558cf (diff) | |
Merge remote-tracking branch 'origin/sail_new_tc' into experiments
Diffstat (limited to 'src/initial_check.mli')
| -rw-r--r-- | src/initial_check.mli | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/initial_check.mli b/src/initial_check.mli index 063a0131..ed4eb0bf 100644 --- a/src/initial_check.mli +++ b/src/initial_check.mli @@ -42,7 +42,5 @@ open Ast -val process_ast : Parse_ast.defs -> unit defs +val process_ast : order -> Parse_ast.defs -> unit defs - - |