diff --git a/core/src/main/scala/stainless/genc/CAST.scala b/core/src/main/scala/stainless/genc/CAST.scala
index 99ccd6824..129624efe 100644
--- a/core/src/main/scala/stainless/genc/CAST.scala
+++ b/core/src/main/scala/stainless/genc/CAST.scala
@@ -218,8 +218,6 @@ object CAST { // C Abstract Syntax Tree
 
   case object Break extends Expr
 
-  case object Continue extends Expr
-
   case class Return(value: Expr) extends Expr {
     require(value.isValue, s"Return expressions ($value) must be values")
   }