Delete dead code for generating posters (#3932)

This code was identified as dead by IntelliJ, and hasn't been touched in a very long time, so I've deleted it. Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Jan 30, 2024 · f798582 · f798582
1 parent 354daa8
commit f798582
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 24 deletions.
diff --git a/kernel/src/main/java/org/kframework/backend/PosterBackend.java b/kernel/src/main/java/org/kframework/backend/PosterBackend.java
diff --git a/kernel/src/main/java/org/kframework/main/AbstractKModule.java b/kernel/src/main/java/org/kframework/main/AbstractKModule.java
@@ -10,15 +10,10 @@
 import java.util.List;
 import java.util.function.Supplier;
 import org.apache.commons.lang3.tuple.Pair;
-import org.kframework.backend.PosterBackend;
 import org.kframework.utils.inject.Options;
 
 public abstract class AbstractKModule implements KModule {
 
-  public List<Pair<String, Class<? extends PosterBackend>>> posterTypes() {
-    return Collections.emptyList();
-  }
-
   public List<Pair<Class<?>, Boolean>> kompileOptions() {
     return Collections.emptyList();
   }