diff --git a/build.sbt b/build.sbt
index f9cfffc54..2a9248e5c 100644
--- a/build.sbt
+++ b/build.sbt
@@ -286,11 +286,6 @@ lazy val `stainless-core` = (project in file("core"))
   .enablePlugins(BuildInfoPlugin)
   //.enablePlugins(SphinxPlugin)
   .settings(name := "stainless-core")
-  .settings(
-    libraryDependencies ++= Seq(
-      "com.lihaoyi" %% "pprint" % "0.9.0"
-    )
-  )
   .settings(commonSettings, publishMavenSettings)
   //.settings(site.settings)
   .dependsOn(inox % "compile->compile;test->test")
diff --git a/core/src/main/scala/stainless/genc/CASTDependencies.scala b/core/src/main/scala/stainless/genc/CASTDependencies.scala
index a445fc5e3..a8c80ddb3 100644
--- a/core/src/main/scala/stainless/genc/CASTDependencies.scala
+++ b/core/src/main/scala/stainless/genc/CASTDependencies.scala
@@ -121,9 +121,6 @@ class CASTTraverser(using ctx: inox.Context) {
 
     case Break =>
       Seq()
-    
-    case Continue =>
-      Seq()
 
     case Return(value) =>
       Seq(value)
diff --git a/core/src/main/scala/stainless/genc/CPrinter.scala b/core/src/main/scala/stainless/genc/CPrinter.scala
index 0651989b4..ae929ba2b 100644
--- a/core/src/main/scala/stainless/genc/CPrinter.scala
+++ b/core/src/main/scala/stainless/genc/CPrinter.scala
@@ -329,8 +329,6 @@ class CPrinter(
 
     case Break => c"break"
 
-    case Continue => c"continue"
-
     case Return(Lit(UnitLit)) => c"return"
     case Return(value) => c"return $value"
     case Assert(expr) => c"assert($expr)"
diff --git a/core/src/main/scala/stainless/genc/phases/IR2CPhase.scala b/core/src/main/scala/stainless/genc/phases/IR2CPhase.scala
index 21432f6e9..fb06a2f7f 100644
--- a/core/src/main/scala/stainless/genc/phases/IR2CPhase.scala
+++ b/core/src/main/scala/stainless/genc/phases/IR2CPhase.scala
@@ -360,7 +360,6 @@ private class IR2CImpl()(using ctx: inox.Context) {
 
     case Return(e) => C.Return(rec(e))
     case Break => C.Break
-    case Continue => C.Continue
   }
 
   // Construct an instantce of the given case class.