From c4f8385b91d464e8ad0cf826eb02e4a34bbb6f15 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Thu, 25 Apr 2013 14:14:08 +0000
Subject: Fix indentation

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16450 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/interface.mli | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'lib/interface.mli')

diff --git a/lib/interface.mli b/lib/interface.mli
index f655921d78..349f7baf98 100644
--- a/lib/interface.mli
+++ b/lib/interface.mli
@@ -103,14 +103,14 @@ type coq_info = {
   compile_date : string;
 }
 
-(** * Coq answers to CoqIde *)
+(** Coq messages *)
 
 type message_level =
-| Debug of string
-| Info
-| Notice
-| Warning
-| Error
+  | Debug of string
+  | Info
+  | Notice
+  | Warning
+  | Error
 
 type message = {
   message_level : message_level;
-- 
cgit v1.2.3