diff --git a/src/main/scala/leon/genc/CConverter.scala b/src/main/scala/leon/genc/CConverter.scala
index 596bef6987c1c345b14b98416cef251b06595dd9..10408436e133a4339e55d0c021e6babbda8f640b 100644
--- a/src/main/scala/leon/genc/CConverter.scala
+++ b/src/main/scala/leon/genc/CConverter.scala
@@ -402,8 +402,9 @@ class CConverter(val ctx: LeonContext, val prog: Program) {
     case BVLShiftRight(lhs, rhs)  => fatalError("operator >>> not supported")
 
     // Ignore assertions for now
-    case Ensuring(body, _) => convert(body)
-    case Require(_, body)  => convert(body)
+    case Ensuring(body, _)  => convert(body)
+    case Require(_, body)   => convert(body)
+    case Assert(_, _, body) => convert(body)
 
     case IfExpr(cond1, thn1, elze1) =>
       val condF = convertAndFlatten(cond1)