From 7bf8128095e76aae07f1f008d3ee2a08f96260a9 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Feb 2022 23:02:32 +0100
Subject: Update the .gitignore

---
 .gitignore | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 7b7e4e7f..98ac319e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,10 +32,12 @@ _opam/
 rust-tests/target/
 
 # Misc
+/fstar-tests
 *~
 nohup.out
 .ocamlformat
 *#
 *.lock
 *.txt
-*/.#*
\ No newline at end of file
+*/.#*
+*.smt2
-- 
cgit v1.2.3