Merge PR #11010: [coq] Untabify the whole ML codebase.

Reviewed-by: SkySkimmer
Reviewed-by: herbelin

1 files changed, 3 insertions, 3 deletions

diff --git a/kernel/names.mli b/kernel/names.mli
index 0c92a2f2bc..d43038d2f0 100644
--- a/kernel/names.mli
+++ b/kernel/names.mli
@@ -81,7 +81,7 @@ end
 module Name :
 sig
   type t = Anonymous     (** anonymous identifier *)
-	 | Name of Id.t  (** non-anonymous identifier *)
+         | Name of Id.t  (** non-anonymous identifier *)
 
   val mk_name : Id.t -> t
   (** constructor *)
@@ -534,8 +534,8 @@ type 'a tableKey =
   | RelKey of Int.t
 
 type inv_rel_key = int (** index in the [rel_context] part of environment
-			  starting by the end, {e inverse}
-			  of de Bruijn indice *)
+                          starting by the end, {e inverse}
+                          of de Bruijn indice *)
 
 val eq_table_key : ('a -> 'a -> bool) -> 'a tableKey -> 'a tableKey -> bool
 val eq_constant_key : Constant.t -> Constant.t -> bool