From 26b4ab20dbe6f79abf6d7bf7987d1d19d66e670d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 14 Dec 2020 17:34:02 -0800
Subject: [PATCH] Update .gitignore

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

diff --git a/.gitignore b/.gitignore
index d7a093f85..69037481d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,7 @@ release/*
 build/*
 build-dist/*
 dist/*
+src/out/*
 doc/html/*
 # GTAGS generated files
 src/GPATH