From 8b5ff07c7b01d1c7074b3e0648c5f61ccc82b815 Mon Sep 17 00:00:00 2001
From: Yannick Forster <forster@ps.uni-saarland.de>
Date: Wed, 25 Mar 2020 11:43:45 +0100
Subject: [PATCH] Update .gitignore for new files

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

diff --git a/.gitignore b/.gitignore
index 10b8e3d..6c7e7d2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,3 +22,6 @@ Makefile.coq.conf
 .merlin
 *.cmt
 *.cmti
+src/smpl.ml
+*.vok
+*.vos
\ No newline at end of file