diff options
| author | Pierre-Marie Pédrot | 2018-11-04 19:18:54 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-05 19:02:31 +0100 |
| commit | 1dac644da31bb25dd4e36360e5eb3febd0d5e158 (patch) | |
| tree | b834431bbd8db04f4ee723393f9ef04a08a2435c /gramlib/gramext.mli | |
| parent | c7fc066129b9147a50e8a06e990f23becf5f9deb (diff) | |
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.
Diffstat (limited to 'gramlib/gramext.mli')
| -rw-r--r-- | gramlib/gramext.mli | 1 |
1 files changed, 0 insertions, 1 deletions
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 |