From 46d602e5de8335c4f220baab4f3d7a33a1f7d8d1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 30 Aug 2024 11:52:01 -0700
Subject: [PATCH] update gitignore to prepare for genaiscript

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index 710ce4b7e..cb3d0190c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,11 @@ callgrind.out.*
 # .hpp files are automatically generated
 *.hpp
 .z3-trace
+.env
+.genaiscript
+package-lock.json
+package.json
+node_modules
 # OCaml generated files
 *.a
 *.o