From e404c13468ecb36d84c141ba6141a3a74dcc7e6e Mon Sep 17 00:00:00 2001
From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Fri, 26 May 2023 15:33:05 -0700
Subject: [PATCH] Access array without it cloning it. (#160)

All credits to Evan for finding this.

Co-authored-by: Evan Laufer <evan.m.laufer@gmail.com>
---
 src/ir/term/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ir/term/mod.rs b/src/ir/term/mod.rs
index 7a37369b..6fdf4e42 100644
--- a/src/ir/term/mod.rs
+++ b/src/ir/term/mod.rs
@@ -1511,7 +1511,7 @@ pub fn eval_op(op: &Op, args: &[&Value], var_vals: &FxHashMap<String, Value>) ->
             args.iter().cloned().cloned().collect(),
         )),
         Op::Select => {
-            let a = args[0].as_array().clone();
+            let a = args[0].as_array();
             let i = args[1];
             a.select(i)
         }