remove dead code

argumentcomputer · Sep 25, 2023 · 2f0aa56 · 2f0aa56
1 parent 4910e3a
commit 2f0aa56
Showing 1 changed file with 0 additions and 12 deletions.
diff --git 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>(