From b96208b7a247cbb6d9d162fbfaf54448af33589c Mon Sep 17 00:00:00 2001
From: Pierre Weis <Pierre.Weis@inria.fr>
Date: Mon, 6 Mar 2000 22:12:09 +0000
Subject: Revu les impressions du compilateur

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 debugger/unix_tools.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debugger/unix_tools.ml')

diff --git a/debugger/unix_tools.ml b/debugger/unix_tools.ml
index ec4f4079c..9de33ca5b 100644
--- a/debugger/unix_tools.ml
+++ b/debugger/unix_tools.ml
@@ -40,7 +40,7 @@ let convert_address address =
 
 (*** Report an unix error. ***)
 let report_error = function
-    Unix_error (err, fun_name, arg) ->
+  | Unix_error (err, fun_name, arg) ->
      prerr_string "Unix error : '";
      prerr_string fun_name;
      prerr_string "' failed";
-- 
cgit v1.2.3-70-g09d2