From 9f2f2340d5679dbd8219fdc7f026f80e1b3811c1 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 5 Jan 2022 14:35:12 +0100
Subject: Remove synthesize_set_discriminant

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

(limited to 'src/Synthesis.ml')

diff --git a/src/Synthesis.ml b/src/Synthesis.ml
index 51aa0882..dce40470 100644
--- a/src/Synthesis.ml
+++ b/src/Synthesis.ml
@@ -63,10 +63,6 @@ let synthesize_eval_rvalue_aggregate (aggregate_kind : E.aggregate_kind)
     (ops : E.operand list) : unit =
   ()
 
-let synthesize_set_discriminant (p : E.place) (variant_id : T.VariantId.id) :
-    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 =
-- 
cgit v1.2.3