TweetyProjectTeam · larsbengel · Oct 27, 2025 · Aug 20, 2024 · Oct 15, 2024 · Oct 15, 2024
diff --git a/...main/java/org/tweetyproject/arg/deductive/util/RandomDeductiveKnowledgeBaseGenerator.java b/...main/java/org/tweetyproject/arg/deductive/util/RandomDeductiveKnowledgeBaseGenerator.java
@@ -89,7 +89,6 @@ public DeductiveKnowledgeBase next() {
         return kb;
     }
 
-
     /**
      * Description missing
      * @param <C> Description missing

diff --git a/...-arg-dung/src/main/java/org/tweetyproject/arg/dung/causal/syntax/CausalKnowledgeBase.java b/...-arg-dung/src/main/java/org/tweetyproject/arg/dung/causal/syntax/CausalKnowledgeBase.java
-Original file line number
+Diff line change
@@ Expand Up / @@ -89,7 +89,6 @@ public DeductiveKnowledgeBase next() { @@
             return kb;
         }
         /**
          * Description missing
          * @param <C> Description missing
@@ Expand Down @@