diff options
Diffstat (limited to 'src/typing.ml')
| -rw-r--r-- | src/typing.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |