From ed8ec17ce48b4d0cf14696a4e9760239aa31f59b Mon Sep 17 00:00:00 2001
From: filliatr
Date: Sun, 12 Dec 1999 22:03:12 +0000
Subject: modules

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@238 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/errors.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'toplevel/errors.ml')

diff --git a/toplevel/errors.ml b/toplevel/errors.ml
index af8b7c5cbf..ba1f36cd7c 100644
--- a/toplevel/errors.ml
+++ b/toplevel/errors.ml
@@ -48,9 +48,9 @@ let rec explain_exn_default = function
 
   | Sys.Break -> hOV 0 [< 'fNL; 'sTR"User Interrupt." >]
 
-  | TypeError(k,ctx,te) -> Himsg.explain_type_error k ctx te
+  | TypeError(k,ctx,te) -> hOV 0 (Himsg.explain_type_error k ctx te)
 
-  | InductiveError e -> Himsg.explain_inductive_error e
+  | InductiveError e -> hOV 0 (Himsg.explain_inductive_error e)
 
   | Stdpp.Exc_located (loc,exc) ->
       hOV 0 [< if loc = Ast.dummy_loc then [<>]
-- 
cgit v1.2.3