diff options
| author | Pierre-Marie Pédrot | 2018-11-04 21:48:02 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-05 19:02:31 +0100 |
| commit | d382b815fd5ec0ee81f01aec6a72b1f7adf8b907 (patch) | |
| tree | c30a59d70fdb83a23e8d50de8a5082621c95cbc0 /gramlib/grammar.mli | |
| parent | 1dac644da31bb25dd4e36360e5eb3febd0d5e158 (diff) | |
Remove the Scut constructor from Gramlib.
This constructor only makes sense in the backtracking mode, that has
been removed from our vendored version of camlp5.
Diffstat (limited to 'gramlib/grammar.mli')
| -rw-r--r-- | gramlib/grammar.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gramlib/grammar.mli b/gramlib/grammar.mli index fe06d1fa81..53c8004a5b 100644 --- a/gramlib/grammar.mli +++ b/gramlib/grammar.mli @@ -131,7 +131,6 @@ module type S = val r_next : ('self, 'a, 'r) ty_rule -> ('self, 'b) ty_symbol -> ('self, 'b -> 'a, 'r) ty_rule - val r_cut : ('self, 'a, 'r) ty_rule -> ('self, 'a, 'r) ty_rule val production : ('a, 'f, Ploc.t -> 'a) ty_rule * 'f -> 'a ty_production module Unsafe : |