From 0dac9618c695a345f82ee302b205217fff29be29 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 28 Jul 2015 10:18:08 +0200
Subject: Fixing some English misspelling.

---
 kernel/nativecode.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/nativecode.ml')

diff --git a/kernel/nativecode.ml b/kernel/nativecode.ml
index 90c437bbfb..687b740f67 100644
--- a/kernel/nativecode.ml
+++ b/kernel/nativecode.ml
@@ -2012,7 +2012,7 @@ let rec compile_deps env sigma prefix ~interactive init t =
   match kind_of_term t with
   | Ind ((mind,_),u) -> compile_mind_deps env prefix ~interactive init mind
   | Const c ->
-      let c,u = get_allias env c in
+      let c,u = get_alias env c in
       let cb,(nameref,_) = lookup_constant_key c env in
       let (_, (_, const_updates)) = init in
       if is_code_loaded ~interactive nameref
-- 
cgit v1.2.3