From 5c4f6a0605f98f1ac67a145287c48861427fa925 Mon Sep 17 00:00:00 2001
From: Cynthia Kop <kop@science.ru.nl>
Date: Mon, 14 Oct 2024 11:23:15 +0200
Subject: [PATCH] Removed chaining processor from full framework, as it cannot
 be used there at the moment

---
 .../java/cora/termination/dependency_pairs/FullDPFramework.java  | 1 -
 1 file changed, 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
index 0ad75da..611ffb1 100644
--- 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(),