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.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp/topconstr.ml')

diff --git a/interp/topconstr.ml b/interp/topconstr.ml
index e569f543b5..42538925a8 100644
--- a/interp/topconstr.ml
+++ b/interp/topconstr.ml
@@ -67,7 +67,7 @@ let ids_of_pattern_list =
     Id.Set.empty
 
 let ids_of_cases_indtype p =
-  Id.Set.elements (cases_pattern_fold_names Id.Set.add Id.Set.empty p)
+  cases_pattern_fold_names Id.Set.add Id.Set.empty p
 
 let ids_of_cases_tomatch tms =
   List.fold_right
-- 
cgit v1.2.3