From b196a57ba1f4478b704b9e755eaa359fdb8858db Mon Sep 17 00:00:00 2001
From: Nils Fitinghoff <nils.fitinghoff@grepit.se>
Date: Sun, 28 Apr 2019 16:32:07 +0200
Subject: [PATCH] Revert "bump version"

This reverts commit d64a7e7f66534c929b032a41a82ca0d60d0f10f4.
It breaks the build until vcell can be updated.
---
 Cargo.toml               | 2 +-
 klee-examples/Cargo.toml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 8432c17..9121070 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "klee"
-version = "0.3.0"
+version = "0.2.0"
 authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io>"]
 edition = "2018"
 
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index c0467e4..47c4325 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "klee-examples"
 edition = "2018"
-version = "0.3.0"
+version = "0.2.0"
 authors = ["Per Lindgren <per.lindgren@ltu.se>", "Jorge Aparicio <jorge@japaric.io>"]
 
 [dependencies]
-- 
GitLab