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/nativelambda.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/nativelambda.mli')

diff --git a/kernel/nativelambda.mli b/kernel/nativelambda.mli
index ccf2888b56..3b6fafbbc9 100644
--- a/kernel/nativelambda.mli
+++ b/kernel/nativelambda.mli
@@ -26,7 +26,7 @@ val mk_lazy : lambda -> lambda
 
 val get_mind_prefix : env -> mutual_inductive -> string
 
-val get_allias : env -> pconstant -> pconstant
+val get_alias : env -> pconstant -> pconstant
 
 val lambda_of_constr : env -> evars -> Constr.constr -> lambda
 
-- 
cgit v1.2.3