From f6cea698f19766087fa56b16ed8dc8cedf079643 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Mon, 23 May 2016 11:12:28 +0200
Subject: STM: proof block detection for bullets and { block }

---
 stm/stm.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'stm/stm.mllib')

diff --git a/stm/stm.mllib b/stm/stm.mllib
index bd792b01f..939ee187a 100644
--- a/stm/stm.mllib
+++ b/stm/stm.mllib
@@ -8,4 +8,5 @@ Lemmas
 CoqworkmgrApi
 AsyncTaskQueue
 Stm
+ProofBlockDelimiter
 Vio_checking
-- 
cgit v1.2.3