From 8f2038542bcb8ec93b6c6447f38d098cff98fc2c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 5 Jan 2022 19:21:13 +0100
Subject: Split eval_local_function_call_symbolic to isolate a function which
 can be reused for non-local function calls

---
 src/Synthesis.ml | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'src/Synthesis.ml')

diff --git a/src/Synthesis.ml b/src/Synthesis.ml
index 60c387d2..1f683209 100644
--- a/src/Synthesis.ml
+++ b/src/Synthesis.ml
@@ -63,12 +63,7 @@ let synthesize_eval_rvalue_aggregate (aggregate_kind : E.aggregate_kind)
     (ops : E.operand list) : unit =
   ()
 
-let synthesize_non_local_function_call (fid : A.assumed_fun_id)
-    (region_params : T.erased_region list) (type_params : T.ety list)
-    (args : E.operand list) (dest : E.place) : unit =
-  ()
-
-let synthesize_local_function_call (fid : A.FunDefId.id)
+let synthesize_function_call (fid : A.fun_id)
     (region_params : T.erased_region list) (type_params : T.ety list)
     (args : V.typed_value list) (dest : E.place) (res : V.symbolic_value) : unit
     =
-- 
cgit v1.2.3