From ef0ca516c08d43300089a5cd3e80e9dd0bb81889 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 20 Jan 2022 10:43:52 +0100
Subject: Make minor modifications in InterpreterExpressions

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

(limited to 'src')

diff --git a/src/InterpreterExpressions.ml b/src/InterpreterExpressions.ml
index cb9f31c9..3e094902 100644
--- a/src/InterpreterExpressions.ml
+++ b/src/InterpreterExpressions.ml
@@ -18,8 +18,6 @@ open InterpreterPaths
 (** The local logger *)
 let log = L.expressions_log
 
-(*type 'a eval_result = ('a, eval_error) result*)
-
 (** As long as there are symbolic values at a given place (potentially in subvalues)
     which contain borrows and are primitively copyable, expand them.
     
@@ -304,9 +302,8 @@ let eval_unary_op (config : C.config) (unop : E.unop) (op : E.operand)
 (** Small helper for [eval_binary_op_concrete]: computes the result of applying
     the binop *after* the operands have been successfully evaluated
  *)
-let eval_binary_op_concrete_compute (config : C.config) (binop : E.binop)
-    (v1 : V.typed_value) (v2 : V.typed_value) :
-    (V.typed_value, eval_error) result =
+let eval_binary_op_concrete_compute (binop : E.binop) (v1 : V.typed_value)
+    (v2 : V.typed_value) : (V.typed_value, eval_error) result =
   (* Equality check binops (Eq, Ne) accept values from a wide variety of types.
    * The remaining binops only operate on scalars. *)
   if binop = Eq || binop = Ne then (
@@ -382,7 +379,7 @@ let eval_binary_op_concrete (config : C.config) (binop : E.binop)
   (* Compute the result of the binop *)
   let compute cf (res : V.typed_value * V.typed_value) =
     let v1, v2 = res in
-    cf (eval_binary_op_concrete_compute config binop v1 v2)
+    cf (eval_binary_op_concrete_compute binop v1 v2)
   in
   (* Compose and apply *)
   comp eval_ops compute cf
-- 
cgit v1.2.3