From dae91ffddfb90e350702e40477db37390ba17cae Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 5 Jan 2022 10:49:51 +0100
Subject: Implement eval_binary_op_symbolic

---
 src/Synthesis.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Synthesis.ml')

diff --git a/src/Synthesis.ml b/src/Synthesis.ml
index aef001be..f3cc5f91 100644
--- a/src/Synthesis.ml
+++ b/src/Synthesis.ml
@@ -35,8 +35,8 @@ let synthesize_unary_op (unop : E.unop) (op : V.typed_value)
     (dest : V.symbolic_value) : unit =
   ()
 
-let synthesize_binary_op (binop : E.binop) (op1 : E.operand) (op2 : E.operand) :
-    unit =
+let synthesize_binary_op (binop : E.binop) (op1 : V.typed_value)
+    (op2 : V.typed_value) (dest : V.symbolic_value) : unit =
   ()
 
 (** Actually not sure if we need this, or a synthesize_symbolic_expansion_enum *)
-- 
cgit v1.2.3