From 4541d28ba3c50bc8e45c4ccf418bbdd225454dec Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 3 Jun 2019 14:32:18 +0200
Subject: Expose set interface to option tables

This lets us avoid having to cache the SearchBlacklist.elements call
in search as we can just use the set module's for_all function.
---
 kernel/names.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/names.ml')

diff --git a/kernel/names.ml b/kernel/names.ml
index 047a1d6525..39cd4548f5 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -671,6 +671,7 @@ module InductiveOrdered_env = struct
   let compare = ind_user_ord
 end
 
+module Indset = Set.Make(InductiveOrdered)
 module Indmap = Map.Make(InductiveOrdered)
 module Indmap_env = Map.Make(InductiveOrdered_env)
 
-- 
cgit v1.2.3