From 3b8acc174490878a3d0c9345e34a0ecb1d3abd66 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 7 Nov 2016 13:27:16 +0100
Subject: Typeclasses API using EConstr.

---
 pretyping/typeclasses_errors.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pretyping/typeclasses_errors.mli')

diff --git a/pretyping/typeclasses_errors.mli b/pretyping/typeclasses_errors.mli
index ee76f63836..9bd430e4d6 100644
--- a/pretyping/typeclasses_errors.mli
+++ b/pretyping/typeclasses_errors.mli
@@ -9,6 +9,7 @@
 open Loc
 open Names
 open Term
+open EConstr
 open Environ
 open Constrexpr
 open Globnames
-- 
cgit v1.2.3