From aaf20df2f9e531f1f05fbf72de796f9761cd646b Mon Sep 17 00:00:00 2001
From: Matej Kosik <matej.kosik@inria.fr>
Date: Thu, 2 Feb 2017 10:04:16 +0100
Subject: correcting a typo in a comment

---
 kernel/declarations.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/declarations.mli b/kernel/declarations.mli
index 7821ea20f..71e228b19 100644
--- a/kernel/declarations.mli
+++ b/kernel/declarations.mli
@@ -77,7 +77,7 @@ type typing_flags = {
 }
 
 (* some contraints are in constant_constraints, some other may be in
- * the OpaueDef *)
+ * the OpaqueDef *)
 type constant_body = {
     const_hyps : Context.Named.t; (** New: younger hyp at top *)
     const_body : constant_def;
-- 
cgit v1.2.3