From da209f9f4bb1772a0b37327fc8d949e240602484 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 28 Oct 2019 15:46:40 +0000
Subject: Fix jib.ott and SMT regressions

SMT seems sensitive to gensym counter being reset between definitions,
but it shouldn't care due to unique_per_function_ids... need to
investigate further. Only causes a single test to fail so must be
subtle. Diffing between the bad/good versions reveals a few lines of
generated SMT go missing when the gensym counter is reset.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 192fa6be..3bd2cdd5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,6 +38,7 @@ lib/hol/sail-heap
 /src/sail.docdir
 /src/ast.lem
 /src/ast.ml
+/src/jib.lem
 /src/jib.ml
 /src/manifest.ml
 
-- 
cgit v1.2.3