diff options
Diffstat (limited to 'bytecomp/lambda.mli')
| -rw-r--r-- | bytecomp/lambda.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli index 809ba5bad0..2c7c56e01e 100644 --- a/bytecomp/lambda.mli +++ b/bytecomp/lambda.mli @@ -124,7 +124,7 @@ type let_kind = Strict | Alias | StrictOpt | Variable we can discard e if x does not appear in e' Variable: the variable x is assigned later in e' *) -type meth_kind = Self | Public +type meth_kind = Self | Public | Cached type shared_code = (int * int) list (* stack size -> code label *) |