From 6841ba3e57cc01839830025f53a3891cbe2928f8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 2 Nov 2022 20:14:49 -0700
Subject: [PATCH] Update .gitignore

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

diff --git a/.gitignore b/.gitignore
index 17465d9ae..936f977aa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -95,3 +95,4 @@ CMakeSettings.json
 *.swp
 .DS_Store
 dbg/**
+*.wsp