From 6aaebab9f21e934bcda4bd360ff0b0e4fe3f1178 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Tue, 10 Dec 2013 21:53:50 +0100
Subject: Correct error message error.

---
 src/typing.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/typing.ml b/src/typing.ml
index 9eabf4e..8f042f1 100644
--- a/src/typing.ml
+++ b/src/typing.ml
@@ -370,7 +370,7 @@ and compute_type_stm ret_type env s = match s.s_desc with (* statement -> ts_des
   (* traduire règles restantes du for*)
   | SWhile(e,s) -> let ts,tys = type_stm ret_type env s in
 		   let te,(ty,_) = get_expr env e in
-		      ty_assert (ty = T_Int) "Condition in if statement must be integer";
+		      ty_assert (ty = T_Int) "Condition in while statement must be integer";
 		   TSWhile(te,ts),env
   (* pq while n'est pas dans les règles données ? *)
   | SDeclare(vt,i) -> let ty,b = build_type_or_ref vt in
-- 
cgit v1.2.3