From 354bc504009f2cc08f15ebc2c4f89f9ebdec530d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 20 Oct 2022 13:15:43 -0700
Subject: [PATCH] Update .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index ffc50c1ba..b73251f44 100644
--- a/.gitignore
+++ b/.gitignore
@@ -81,6 +81,7 @@ src/api/js/node_modules/
 src/api/js/build/
 src/api/js/**/*.__GENERATED__.*
 debug/*
+examples/python/z3
 
 out/**
 *.bak