From 1dd17b86d688cc61bbbeff970bc8765078d65141 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Thu, 20 Jul 2023 17:46:12 +0200
Subject: [PATCH] Remove dump_cex option

---
 src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java b/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java
index 3115d18..e09759e 100644
--- a/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java
+++ b/src/main/java/edu/uiowa/kind2/lsp/Kind2LanguageServer.java
@@ -607,9 +607,6 @@ public Kind2Api getCheckKind2Api(String name)
     if (!configs.get("output_dir").getAsString().equals("")) {
       api.outputDir(configs.get("output_dir").getAsString());
     }
-    if (configs.get("dump_cex").getAsBoolean()) {
-      api.setDumpCex(true);
-    }
     if (configs.get("timeout").getAsFloat() != 0) {
       api.setTimeout(configs.get("timeout").getAsFloat());
     }