From 2f0d2ec385ffa5e2e97071cc3ce884d1d8800a2b Mon Sep 17 00:00:00 2001
From: Titus Barik <titus.barik@microsoft.com>
Date: Fri, 18 Jan 2019 16:18:16 -0800
Subject: [PATCH] PYTHON_PATH should say PYTHONPATH.

---
 examples/python/example.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/python/example.py b/examples/python/example.py
index 761ae10be..b93ed6abf 100644
--- a/examples/python/example.py
+++ b/examples/python/example.py
@@ -2,7 +2,7 @@
 
 # The Z3 Python API requires libz3.dll/.so/.dylib in the 
 # PATH/LD_LIBRARY_PATH/DYLD_LIBRARY_PATH
-# environment variable and the PYTHON_PATH environment variable
+# environment variable and the PYTHONPATH environment variable
 # needs to point to the `python' directory that contains `z3/z3.py'
 # (which is at bin/python in our binary releases).