From e99e4006368fab3818812c6194d54465746c4566 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 12 Jan 2015 13:50:50 +0100
Subject: Fix a few typos.

---
 kernel/safe_typing.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel')

diff --git a/kernel/safe_typing.ml b/kernel/safe_typing.ml
index 27f94972a3..0915ef5771 100644
--- a/kernel/safe_typing.ml
+++ b/kernel/safe_typing.ml
@@ -190,7 +190,7 @@ let set_type_in_type senv =
 
 (** {6 Stm machinery } *)
 
-let get_opauqe_body env cbo =
+let get_opaque_body env cbo =
   match cbo.const_body with
   | Undef _ -> assert false
   | Def _ -> `Nothing
@@ -201,12 +201,12 @@ let get_opauqe_body env cbo =
 
 let sideff_of_con env c =
   let cbo = Environ.lookup_constant c env.env in
-  SEsubproof (c, cbo, get_opauqe_body env.env cbo)
+  SEsubproof (c, cbo, get_opaque_body env.env cbo)
 let sideff_of_scheme kind env cl =
   SEscheme(
     List.map (fun (i,c) ->
       let cbo = Environ.lookup_constant c env.env in
-      i, c, cbo, get_opauqe_body env.env cbo) cl,
+      i, c, cbo, get_opaque_body env.env cbo) cl,
     kind)
 
 let env_of_safe_env senv = senv.env
-- 
cgit v1.2.3