diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-12-10 21:53:50 +0100 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-12-10 21:53:50 +0100 |
| commit | 6aaebab9f21e934bcda4bd360ff0b0e4fe3f1178 (patch) | |
| tree | fd067de9a38969dc0d79a05ffec492d941f5e0ac /src/typing.ml | |
| parent | 981f900bb0358eee7ddf5ada1d09b0c629bfdc5b (diff) | |
| download | LPC-Projet-6aaebab9f21e934bcda4bd360ff0b0e4fe3f1178.tar.gz LPC-Projet-6aaebab9f21e934bcda4bd360ff0b0e4fe3f1178.zip | |
Correct error message error.
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 |