diff --git a/src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java b/src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java
index 1e3069a..ba96447 100644
--- a/src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java
+++ b/src/main/java/edu/uiowa/cs/clc/kind2/results/Result.java
@@ -126,31 +126,11 @@ private void analyze() {
     if (root == null) {
       // if the root object is null at this point, then we couldn't parse the json output properly.
       // It makes sense to throw kind2 errors found in the log objects.
-      throwKind2Errors();
       return;
     }
     root.analyze();
   }
 
-  /**
-   * throw a {@link RuntimeException} if at least one of kind2 logs is error, fatal, or off.
-   */
-  private void throwKind2Errors() {
-    StringBuilder stringBuilder = new StringBuilder();
-    stringBuilder
-        .append("An error has occurred during kind2 analysis. Please check the following logs:\n");
-    boolean someError = false;
-    for (Log log : kind2Logs) {
-      if (log.getLevel() == LogLevel.error || log.getLevel() == LogLevel.fatal
-          || log.getLevel() == LogLevel.off) {
-        stringBuilder.append(log + "\n");
-        someError = true;
-      }
-    }
-    if (someError) {
-      throw new RuntimeException(stringBuilder.toString());
-    }
-  }
 
   @Override
   public String toString() {