From ff9610e460b60fc35a529dfbc1d6b8d9c0072104 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 7 Nov 2017 10:49:50 +0000
Subject: Fix vector_subrange typo

---
 src/type_check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/type_check.ml b/src/type_check.ml
index aede9c67..d021ed0c 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -2955,7 +2955,7 @@ and propagate_exp_effect_aux = function
   | E_vector_subrange (v, i, j) ->
      let p_v = propagate_exp_effect v in
      let p_i = propagate_exp_effect i in
-     let p_j = propagate_exp_effect i in
+     let p_j = propagate_exp_effect j in
      E_vector_subrange (p_v, p_i, p_j), collect_effects [p_v; p_i; p_j]
   | E_vector_update (v, i, x) ->
      let p_v = propagate_exp_effect v in
-- 
cgit v1.2.3