From 989171425adc309fbe8021151c9fdd37b9a10d4e Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 26 Mar 2009 12:26:48 +0000
Subject: Coqdep_boot: one line with bad indentation

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12018 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdep_boot.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coqdep_boot.ml b/tools/coqdep_boot.ml
index d259c3be5e..b7f6ec250d 100644
--- a/tools/coqdep_boot.ml
+++ b/tools/coqdep_boot.ml
@@ -22,7 +22,7 @@ let rec parse = function
   | "-natdynlink" :: "no" :: ll -> option_natdynlk := false; parse ll
   | "-c" :: ll -> option_c := true; parse ll
   | "-boot" :: ll -> parse ll (* We're already in boot mode by default *)
-   | "-I" :: r :: ll ->
+  | "-I" :: r :: ll ->
        (* To solve conflict (e.g. same filename in kernel and checker)
           we allow to state an explicit order *)
        add_dir add_known r [];
-- 
cgit v1.2.3