From 1dac644da31bb25dd4e36360e5eb3febd0d5e158 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 4 Nov 2018 19:18:54 +0100
Subject: Remove the Sflag constructor from Gramlib.

It is just a wrapper around Sopt. I do not really understand why it is
hardwired in the entry AST.
---
 gramlib/gramext.mli | 1 -
 1 file changed, 1 deletion(-)

(limited to 'gramlib/gramext.mli')

diff --git a/gramlib/gramext.mli b/gramlib/gramext.mli
index ff59bae578..03b0c77bbe 100644
--- a/gramlib/gramext.mli
+++ b/gramlib/gramext.mli
@@ -32,7 +32,6 @@ and 'te g_symbol =
   | Slist1 of 'te g_symbol
   | Slist1sep of 'te g_symbol * 'te g_symbol * bool
   | Sopt of 'te g_symbol
-  | Sflag of 'te g_symbol
   | Sself
   | Snext
   | Scut
-- 
cgit v1.2.3