From a0c0857b6b0a7525354e6098eeeb6776effa2501 Mon Sep 17 00:00:00 2001
From: Andrew Zhu <me@andrew-zhu.com>
Date: Thu, 30 May 2024 17:08:50 -0400
Subject: [PATCH] chore: bump version

---
 kani/_version.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kani/_version.py b/kani/_version.py
index 5c4105c..7863915 100644
--- a/kani/_version.py
+++ b/kani/_version.py
@@ -1 +1 @@
-__version__ = "1.0.1"
+__version__ = "1.0.2"