Remove unused things

epfl-lara · Jan 5, 2025 · c4eb2f5 · c4eb2f5
1 parent ad199fe
commit c4eb2f5
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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")
   }