From 8ade7303c7745190a9a55c2c6a20cf632ec0dacc Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 11 Mar 2019 20:31:50 +0100
Subject: Make NotConvertibleVect exception internal to typeops

---
 kernel/typeops.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel/typeops.ml')

diff --git a/kernel/typeops.ml b/kernel/typeops.ml
index 7eb8e803b3..a0023c11e6 100644
--- a/kernel/typeops.ml
+++ b/kernel/typeops.ml
@@ -24,6 +24,8 @@ open Type_errors
 module RelDecl = Context.Rel.Declaration
 module NamedDecl = Context.Named.Declaration
 
+exception NotConvertibleVect of int
+
 let conv_leq l2r env x y = default_conv CUMUL ~l2r env x y
 
 let conv_leq_vecti env v1 v2 =
-- 
cgit v1.2.3