1 files changed, 3 insertions, 3 deletions
diff --git a/theories/Lists/ListTactics.v b/theories/Lists/ListTactics.v
index 2da70c467..0a21a9e27 100644
--- a/theories/Lists/ListTactics.v
+++ b/theories/Lists/ListTactics.v
@@ -22,10 +22,10 @@ Ltac list_fold_right fcons fnil l :=
 Ltac lazy_list_fold_right fcons fnil l :=
   let f :=
     match l with
-    | ?x :: ?tl => 
+    | ?x :: ?tl =>
          fun _ =>
          fcons x ltac:(fun _ => lazy_list_fold_right fcons fnil tl)
-    | nil => fun _ => fnil() 
+    | nil => fun _ => fnil()
     end in
   f().
 
@@ -75,7 +75,7 @@ Ltac check_is_list t :=
 
 Ltac check_fv l :=
   check_is_list l;
-  match type of l with 
+  match type of l with
   | list _ => idtac
   | _      => fail 100 "anomaly: built an ill-typed list"
   end.