diff --git a/src/main/scala/leon/genc/CConverter.scala b/src/main/scala/leon/genc/CConverter.scala
index 4b572f3afd2e9ee2e71e8da7f5737d7092b8e50e..a979fd8dd0c28351948270048adf53ed597a1317 100644
--- a/src/main/scala/leon/genc/CConverter.scala
+++ b/src/main/scala/leon/genc/CConverter.scala
@@ -233,8 +233,8 @@ class CConverter(val ctx: LeonContext, val prog: Program) {
     case Let(b, v, r)    => buildLet(b, v, r, false)
     case LetVar(b, v, r) => buildLet(b, v, r, true)
 
-    case LetDef(fd, rest) =>
-      convertToFun(fd) // The function get registered there
+    case LetDef(fds, rest) =>
+      fds foreach convertToFun // The functions get registered there
       convertToStmt(rest)
 
     case Assignment(varId, expr) =>