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

(limited to 'pretyping/typeclasses_errors.ml')

diff --git a/pretyping/typeclasses_errors.ml b/pretyping/typeclasses_errors.ml
index b1dfb19a07..2db0e9e881 100644
--- a/pretyping/typeclasses_errors.ml
+++ b/pretyping/typeclasses_errors.ml
@@ -9,6 +9,7 @@
 (*i*)
 open Names
 open Term
+open EConstr
 open Environ
 open Constrexpr
 open Globnames
-- 
cgit v1.2.3