Update compiler/passes/src/function_inlining/inline_program.rs

Signed-off-by: d0cd <[email protected]>
ProvableHQ · Oct 4, 2023 · acfe899 · acfe899
1 parent 4ccb2f7
commit acfe899
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/compiler/passes/src/function_inlining/inline_program.rs b/compiler/passes/src/function_inlining/inline_program.rs
@@ -37,8 +37,7 @@ impl ProgramReconstructor for FunctionInliner<'_> {
         for function_name in order.into_iter() {
             // None: If `function_name` is not in `input.functions`, then it must be an external function.
             // TODO: Check that this is indeed an external function. Requires a redesign of the symbol table.
-            if let Some(function) = function_map.get(&function_name) {
-                function_set.remove(&function_name);
+            if let Some(function) = function_map.remove(&function_name) {
                 // Reconstruct the function.
                 let reconstructed_function = self.reconstruct_function(function.clone());
                 // Add the reconstructed function to the mapping.