From befbc76f89f3d8abc8da17caf91ea4a87ec96eeb Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 28 Mar 2012 13:32:21 +0000
Subject: checklink: first import of Valentin Robert's validator for asm and
 link cparser: renamed Errors to Cerrors; removed packing into Cparser.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1856 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Parse.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'cparser/Parse.ml')

diff --git a/cparser/Parse.ml b/cparser/Parse.ml
index 0fc85bf3..2a144e2b 100644
--- a/cparser/Parse.ml
+++ b/cparser/Parse.ml
@@ -39,15 +39,15 @@ let parse_transformations s =
   !t
 
 let preprocessed_file transfs name sourcefile =
-  Errors.reset();
+  Cerrors.reset();
   let t = parse_transformations transfs in
   let ic = open_in sourcefile in
   let p =
     try
       transform_program t (Elab.elab_preprocessed_file name ic)
     with Parsing.Parse_error ->
-           Errors.error "Error during parsing"; []
-       | Errors.Abort ->
+           Cerrors.error "Error during parsing"; []
+       | Cerrors.Abort ->
            [] in
   close_in ic;
-  if Errors.check_errors() then None else Some p
+  if Cerrors.check_errors() then None else Some p
-- 
cgit