From 666ebd54c9b6a11c2b9ba168ba473601c16a85b2 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 17 Apr 2019 14:37:30 +0100
Subject: Remove obsolete generated files from .gitignore directory so they
 will show up in git status.

---
 .gitignore | 3 ---
 1 file changed, 3 deletions(-)

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