From 4fa10da0d4b6d8cfbb10455644836f7e1a802a2c Mon Sep 17 00:00:00 2001
From: Christopher
Date: Thu, 10 Dec 2015 08:44:37 +0000
Subject: fix

---
 src/rewriter.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

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 ->
-- 
cgit v1.2.3