From b146043f949b1ebf3a897fe5dab3142625931f8b Mon Sep 17 00:00:00 2001
From: Marco Antognini <antognini.marco@gmail.com>
Date: Wed, 27 Jan 2016 16:19:38 +0100
Subject: [PATCH] Fix CConverter w.r.t. the updated FunDef type
see commit 7f17d218ab92c1473754d79dfcb721c4c9dabd8a
---
src/main/scala/leon/genc/CConverter.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/genc/CConverter.scala b/src/main/scala/leon/genc/CConverter.scala
index 4b572f3af..a979fd8dd 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) =>
--
GitLab