From 0d81c7f17a45d0815457cec79477bb54fa9f525d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 14 Jan 2022 18:12:19 +0100
Subject: Update the TODOs

---
 src/InterpreterStatements.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src')

diff --git a/src/InterpreterStatements.ml b/src/InterpreterStatements.ml
index e6fadbdd..8768461c 100644
--- a/src/InterpreterStatements.ml
+++ b/src/InterpreterStatements.ml
@@ -891,8 +891,6 @@ and eval_function_call_symbolic_from_inst_sig (config : C.config)
   in
   (* Evaluate the input operands *)
   let ctx, args = eval_operands config ctx args in
-  (* TODO: expand the primitively copyable symbolic values *)
-  raise Errors.Unimplemented;
   let args_with_rtypes = List.combine args inst_sg.A.inputs in
   (* Check the type of the input arguments *)
   assert (
-- 
cgit v1.2.3