diff --git a/src/passes/6-transpiler/transpiler.mli b/src/passes/6-transpiler/transpiler.mli
index c03fdcb28..bebd4aa94 100644
--- a/src/passes/6-transpiler/transpiler.mli
+++ b/src/passes/6-transpiler/transpiler.mli
@@ -48,7 +48,6 @@ val translate_main : AST.lambda -> Location.t ->( anon_function * ( type_value *
 
 (* From an expression [expr], build the expression [fun () -> expr] *)
 val translate_entry : AST.program -> string -> ( anon_function * ( type_value * type_value )) result
-val functionalize : AST.annotated_expression -> AST.lambda * AST.type_value
 *)
 val extract_constructor : value -> ( string * AST.type_value ) Append_tree.t' -> (string * value * AST.type_value) result
 val extract_tuple : value -> AST.type_value Append_tree.t' -> (value * AST.type_value) list result
diff --git a/src/stages/mini_c/misc.ml b/src/stages/mini_c/misc.ml
index a665fff5f..bd704a745 100644
--- a/src/stages/mini_c/misc.ml
+++ b/src/stages/mini_c/misc.ml
@@ -120,14 +120,6 @@ module Free_variables = struct
 
 end
 
-(*
-   Converts `expr` in `fun () -> expr`.
-let functionalize (body : expression) : expression =
-  let content = E_closure { binder = Var.fresh () ; body } in
-  let type_value = t_function t_unit body.type_value in
-  { content ; type_value }
-*)
-
 let get_entry (lst : program) (name : string) : (expression * int) result =
   let%bind entry_expression =
     trace_option (Errors.missing_entry_point name) @@