From edcf0d8b8bff399443ddf4cd436185c33bf59829 Mon Sep 17 00:00:00 2001
From: aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 13 May 2011 17:57:41 +0000
Subject: A new mechanism to handle errors. Instead of the monolitic Cerrors, I
 introduce a lightweight Errors module whose error message can be expanded by
 module introducing exceptions.

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

(limited to 'toplevel/ide_slave.ml')

diff --git a/toplevel/ide_slave.ml b/toplevel/ide_slave.ml
index a39e9c429..72ebecfa7 100644
--- a/toplevel/ide_slave.ml
+++ b/toplevel/ide_slave.ml
@@ -510,7 +510,7 @@ let explain_exn e =
       | Error_in_file (s, _, inner) -> None,inner
       | _ -> None,e
   in
-  toploc,(Cerrors.explain_exn exc)
+  toploc,(Errors.print exc)
 
 let eval_call c =
   let rec handle_exn e =
-- 
cgit v1.2.3