From 4d823e649a4070fbc2ce90bf0980378ffd96a0f9 Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Mon, 19 Sep 2016 16:12:03 +0100
Subject: sail-to-lem progress

---
 src/rewriter.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/rewriter.mli')

diff --git a/src/rewriter.mli b/src/rewriter.mli
index a9ba973e..d1d642ff 100644
--- a/src/rewriter.mli
+++ b/src/rewriter.mli
@@ -111,3 +111,4 @@ val fold_exp : ('a,'exp,'exp_aux,'lexp,'lexp_aux,'fexp,'fexp_aux,'fexps,'fexps_a
       'pat,'pat_aux,'fpat,'fpat_aux) exp_alg -> 'a exp -> 'exp
 
 val id_pat_alg : ('a,'a pat, 'a pat_aux, 'a fpat, 'a fpat_aux) pat_alg
+
-- 
cgit v1.2.3