From 5b628d3c16115e773966346c172694693f286f60 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 27 Jul 2010 14:14:24 +0200 Subject: [PATCH] No need to call message directly --- compiler/heptagon/analysis/typing.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml index ef3d5b4..24f0b30 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -455,8 +455,8 @@ and typing_static_exp const_env se = (match ln with | Name n -> (try Svar ln, NamesEnv.find n const_env - with Not_found -> message se.se_loc (Eundefined_const ln)) - | Modname _ -> message se.se_loc (Eundefined_const ln)) + with Not_found -> error (Eundefined_const ln)) + | Modname _ -> error (Eundefined_const ln)) ) | Sconstructor c -> let { qualid = q; info = ty } = find_constr c in