diff options
Diffstat (limited to 'typing/env.mli')
| -rw-r--r-- | typing/env.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/typing/env.mli b/typing/env.mli index 9f551fd367..1fa00b77d7 100644 --- a/typing/env.mli +++ b/typing/env.mli @@ -94,8 +94,6 @@ val add_signature: signature -> t -> t (*> JOCAML *) val add_continuation: Ident.t -> continuation_description -> t -> t val remove_continuations: t -> t -(* Erase channel information *) -val remove_channel_info: t -> t (*< JOCAML *) (* Insertion of all fields of a signature, relative to the given path. |