Removed chaining processor from full framework, as it cannot be used …

…there at the moment
hezzel · Oct 14, 2024 · 5c4f6a0 · 5c4f6a0
1 parent 3d86373
commit 5c4f6a0
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/app/src/main/java/cora/termination/dependency_pairs/FullDPFramework.java b/app/src/main/java/cora/termination/dependency_pairs/FullDPFramework.java
@@ -41,7 +41,6 @@ public FullDPFramework(TRS trs, boolean extraRules) {
         new TheoryArgumentsProcessor(true),
         new ReachabilityProcessor(),
         new GraphProcessor(),
-        new ChainingProcessor(false),
         new SubtermProcessor(),
         new TheoryArgumentsProcessor(false),
         new IntegerMappingProcessor(),