summaryrefslogtreecommitdiffstats
path: root/bytecomp/lambda.mli
diff options
context:
space:
mode:
Diffstat (limited to 'bytecomp/lambda.mli')
-rw-r--r--bytecomp/lambda.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli
index 8710902e6..d3c8bfc8f 100644
--- a/bytecomp/lambda.mli
+++ b/bytecomp/lambda.mli
@@ -93,7 +93,7 @@ val name_lambda: lambda -> (Ident.t -> lambda) -> lambda
val name_lambda_list: lambda list -> (lambda list -> lambda) -> lambda
val is_guarded: lambda -> bool
-module IdentSet: Set.S with elt = Ident.t
+module IdentSet: Set.S with type elt = Ident.t
val free_variables: lambda -> IdentSet.t
type compilenv