diff options
| author | Dana N. Xu <na.xu@inria.fr> | 2011-11-17 12:26:57 +0000 |
|---|---|---|
| committer | Dana N. Xu <na.xu@inria.fr> | 2011-11-17 12:26:57 +0000 |
| commit | b18a105247f15559751c1f75c35782d3690941c2 (patch) | |
| tree | 016b5e86c606d6c483df54f1b6f6d897bbaf0c8f /verify | |
| parent | 114c9abd4968d4f38aa5f3764efb5527b34d4159 (diff) | |
| download | ocaml-b18a105247f15559751c1f75c35782d3690941c2.tar.gz | |
caller name is added
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@11277 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'verify')
| -rw-r--r-- | verify/verify.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/verify/verify.ml b/verify/verify.ml index 9ee885de37..a1d753ffbb 100644 --- a/verify/verify.ml +++ b/verify/verify.ml @@ -524,8 +524,8 @@ let rec transl_str_contracts contract_flag env strs = in (* wrapping free-variables in function body with its contract, the caller is thus the current function name *) - let cexpr = contract_id_in_expr env expr in - let expanded_cexpr = deep_transl_contract env cexpr in + let cexpr = contract_id_in_expr senv expr in + let expanded_cexpr = deep_transl_contract senv cexpr in if contract_flag = 0 then (* dynamic contract checking only *) (pat, expanded_cexpr) else if contract_flag = 1 then (* static contract checking only *) @@ -535,7 +535,7 @@ let rec transl_str_contracts contract_flag env strs = let bl_callee = Callee (cexpr.exp_loc, fpath) in let ce = ensuresC c.ttopctr_desc cexpr bl_callee in let _ = static_contract_checking senv - (fid, deep_transl_contract env (mkexp ce)) in + (fid, deep_transl_contract senv (mkexp ce)) in (pat, expr) with Not_found -> let _ = static_contract_checking senv (fid, expanded_cexpr) in |