From 8228d4f959c2211d1840928d1cfc349ce2820200 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 8 Aug 2016 10:37:53 +0200
Subject: Added error check before transformations.

Added a check for errors after the elab phases to avoid problems
in the transformations due to broken input programs.
Bug 19504
---
 cparser/Elab.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser/Elab.ml')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 67b23d91..76f8efdb 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -2361,7 +2361,7 @@ let rec elab_stmt env ctx s =
                  instead of the expected type@ %a"
                 Cprint.typ b.etyp Cprint.typ ctx.ctx_return_typ
             else
-              fatal_error loc
+              error loc
                 "return value has type@ %a@ \
                  instead of the expected type@ %a"
                 Cprint.typ b.etyp Cprint.typ ctx.ctx_return_typ
-- 
cgit