From 2f0aa56950d6ab0b513bff63ec79e74bf24dba11 Mon Sep 17 00:00:00 2001
From: Arthur Paulino <arthurleonardo.ap@gmail.com>
Date: Thu, 21 Sep 2023 11:27:17 -0300
Subject: [PATCH] remove dead code

---
 src/eval/reduction.rs | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/src/eval/reduction.rs b/src/eval/reduction.rs
index 710044e57b..83bc4787e8 100644
--- a/src/eval/reduction.rs
+++ b/src/eval/reduction.rs
@@ -1321,18 +1321,6 @@ fn make_tail_continuation<F: LurkField>(
     // point to one another: they can only be nested one deep.
 }
 
-fn make_tail_continuation_raw<F: LurkField>(
-    saved_env: Ptr<F>,
-    continuation: ContPtr<F>,
-    store: &mut Store<F>,
-) -> ContPtr<F> {
-    Continuation::Tail {
-        saved_env,
-        continuation,
-    }
-    .intern_aux(store)
-}
-
 // Only used in tests. Real evalution should use extend_name.
 #[allow(dead_code)]
 pub(crate) fn extend<F: LurkField>(