diff --git a/src/Lean/Compiler/LCNF/SplitSCC.lean b/src/Lean/Compiler/LCNF/SplitSCC.lean
index bcc222ab49..7b06e8a5a5 100644
--- a/src/Lean/Compiler/LCNF/SplitSCC.lean
+++ b/src/Lean/Compiler/LCNF/SplitSCC.lean
@@ -36,6 +36,8 @@ where
 end SplitScc
 
 public def splitScc (scc : Array Decl) : CompilerM (Array (Array Decl)) := do
+  if scc.size == 1 then
+    return #[scc]
   let declMap := Std.HashMap.ofArray <| scc.map fun decl => (decl.name, decl)
   let callers := Std.HashMap.ofArray <| ← scc.mapM fun decl => do
     let calls ← SplitScc.findSccCalls declMap decl