From 0fc6d2dcdb7d12e37d43cbf44fecaf2c0fddadcc Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 25 Apr 2016 13:20:11 +0200
Subject: Reformatting + removal of some useless data + some cut-elimination in
 interning of patterns.

No semantic changes (except the type of ids_of_cases_indtype).
---
 interp/topconstr.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp/topconstr.mli')

diff --git a/interp/topconstr.mli b/interp/topconstr.mli
index 0f30135f89..58edd4ddf8 100644
--- a/interp/topconstr.mli
+++ b/interp/topconstr.mli
@@ -23,7 +23,7 @@ val free_vars_of_constr_expr : constr_expr -> Id.Set.t
 val occur_var_constr_expr : Id.t -> constr_expr -> bool
 
 (** Specific function for interning "in indtype" syntax of "match" *)
-val ids_of_cases_indtype : cases_pattern_expr -> Id.t list
+val ids_of_cases_indtype : cases_pattern_expr -> Id.Set.t
 
 val split_at_annot : local_binder list -> Id.t located option -> local_binder list * local_binder list
 
-- 
cgit v1.2.3