From df3f736b0c20ebc6533a74eede7d80dcb9a94081 Mon Sep 17 00:00:00 2001
From: BuMiTa <buiminhthanh2901@gmail.com>
Date: Thu, 12 Dec 2024 13:33:05 +0700
Subject: [PATCH] Z3->z3

---
 guide-examples.htm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/guide-examples.htm b/guide-examples.htm
index 59c5ca7..dec1c8d 100644
--- a/guide-examples.htm
+++ b/guide-examples.htm
@@ -1088,7 +1088,7 @@ <h2>Using Z3Py Locally</h2>
 <p>Z3Py is part of the Z3 distribution. It is located in the <tt>python</tt> subdirectory.
 To use it locally, you have to include the following command in your Python script.</p>
 <pre>
-from Z3 import *
+from z3 import *
 </pre>
 <p>
 The Z3 Python frontend directory must be in your <tt>PYTHONPATH</tt> environment variable.