From 8d35b381ceeec6dec1214eecac4e33eb96d29833 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20Schro=CC=88er?= <phisch@cs.rwth-aachen.de>
Date: Wed, 22 May 2024 15:41:34 +0200
Subject: [PATCH] version 2.0.4

---
 Cargo.lock                 | 2 +-
 Cargo.toml                 | 2 +-
 vscode-ext/package.json    | 2 +-
 vscode-ext/src/Verifier.ts | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index cdc0d5e3..e8116099 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -199,7 +199,7 @@ checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b"
 
 [[package]]
 name = "caesar"
-version = "2.0.3"
+version = "2.0.4"
 dependencies = [
  "ariadne",
  "atty",
diff --git a/Cargo.toml b/Cargo.toml
index 6b65eedf..b80983e2 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,7 +7,7 @@ members = [
 
 [package]
 name = "caesar"
-version = "2.0.3"
+version = "2.0.4"
 authors = ["Philipp Schroer <phisch@cs.rwth-aachen.de>"]
 edition = "2018"
 build = "build.rs" # LALRPOP preprocessing
diff --git a/vscode-ext/package.json b/vscode-ext/package.json
index 7dcb030c..bd388b26 100644
--- a/vscode-ext/package.json
+++ b/vscode-ext/package.json
@@ -3,7 +3,7 @@
   "displayName": "Caesar Verifier",
   "description": "The quantitative deductive verifier Caesar for VSCode",
   "publisher": "rwth-moves",
-  "version": "2.0.3",
+  "version": "2.0.4",
   "repository": {
     "type": "git",
     "url": "https://github.com/moves-rwth/caesar.git",
diff --git a/vscode-ext/src/Verifier.ts b/vscode-ext/src/Verifier.ts
index 8dfd1189..8489293c 100644
--- a/vscode-ext/src/Verifier.ts
+++ b/vscode-ext/src/Verifier.ts
@@ -44,7 +44,7 @@ export class Verifier {
         this.logger = new Logger();
         this.walkthrough = new WalkthroughComponent(context);
         this.installer = new ServerInstaller(context, this);
-        this.client = new CaesarClient(context, this.logger.outputChannel, this.walkthrough, this.installer);
+        this.client = new CaesarClient(context, this.logger, this.walkthrough, this.installer);
         this.statusBar = new StatusBarComponent(this);
         this.gutterStatus = new GutterStatusComponent(this);
         this.displayComputedPre = new ComputedPreComponent(this);