Delete dead classes (#3935)

More dead code deletion; this is all the classes that IntelliJ reports as being globally-unused. Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Jan 30, 2024 · 0164d62 · 0164d62
1 parent 7d62a2c
commit 0164d62
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 349 deletions.
diff --git a/kernel/src/main/java/org/kframework/compile/DeconstructIntegerAndFloatLiterals.java b/kernel/src/main/java/org/kframework/compile/DeconstructIntegerAndFloatLiterals.java
diff --git a/kernel/src/main/java/org/kframework/compile/LiftToKSequence.java b/kernel/src/main/java/org/kframework/compile/LiftToKSequence.java
diff --git a/kernel/src/main/java/org/kframework/main/AnnotatedByDefinitionModule.java b/kernel/src/main/java/org/kframework/main/AnnotatedByDefinitionModule.java
diff --git a/kernel/src/main/java/org/kframework/utils/inject/Builtins.java b/kernel/src/main/java/org/kframework/utils/inject/Builtins.java
diff --git a/kernel/src/main/java/org/kframework/utils/options/OnOffConverter.java b/kernel/src/main/java/org/kframework/utils/options/OnOffConverter.java
diff --git a/kore/src/main/java/org/kframework/API.java b/kore/src/main/java/org/kframework/API.java
diff --git a/kore/src/main/java/org/kframework/Warning.java b/kore/src/main/java/org/kframework/Warning.java