diff options
| author | Christopher | 2015-12-10 08:44:37 +0000 |
|---|---|---|
| committer | Christopher | 2015-12-10 08:44:37 +0000 |
| commit | 4fa10da0d4b6d8cfbb10455644836f7e1a802a2c (patch) | |
| tree | 2bca964b63767c12d3dc665b73a8caefcebad681 /src | |
| parent | c78d27967766480138599da36f2f3bb20f7a01c9 (diff) | |
fix
Diffstat (limited to 'src')
| -rw-r--r-- | src/rewriter.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/rewriter.ml b/src/rewriter.ml index 5fbbe050..1d5efb7a 100644 --- a/src/rewriter.ml +++ b/src/rewriter.ml @@ -1288,11 +1288,11 @@ and n_lexp (lexp : 'a lexp) (k : 'a lexp -> 'a exp) : 'a exp = | LEXP_vector (lexp,e) -> n_lexp lexp (fun lexp -> n_exp_name e (fun e -> - k (fix_effsum_lexp (LEXP_aux (LEXP_vector (lexp,e),annot)))) + k (fix_effsum_lexp (LEXP_aux (LEXP_vector (lexp,e),annot))))) | LEXP_vector_range (lexp,e1,e2) -> n_lexp lexp (fun lexp -> - n_exp_name exp1 (fun e1 -> - n_exp_name exp2 (fun e2 -> + n_exp_name e1 (fun e1 -> + n_exp_name e2 (fun e2 -> k (fix_effsum_lexp (LEXP_aux (LEXP_vector_range (lexp,e1,e2),annot)))))) | LEXP_field (lexp,id) -> n_lexp lexp (fun lexp -> |