Remove unused things

epfl-lara · Jan 5, 2025 · ad199fe · ad199fe
1 parent c2cd3b1
commit ad199fe
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 11 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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.