From dbc1fcb99abec6adb0fb6cf1224c3fa6030a3807 Mon Sep 17 00:00:00 2001
From: Scott Johnson
Date: Mon, 3 Jun 2019 15:02:56 -0700
Subject: Add new files to .gitignore

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 2ee1ce5d..3bd2cdd5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,6 +38,9 @@ lib/hol/sail-heap
 /src/sail.docdir
 /src/ast.lem
 /src/ast.ml
+/src/jib.lem
+/src/jib.ml
+/src/manifest.ml
 
 /test/typecheck/rtpass*/
 /test/typecheck/tests.xml
-- 
cgit v1.2.3