diff options
| author | Pierre-Marie Pédrot | 2021-01-06 16:08:16 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-01-18 13:36:46 +0100 |
| commit | 5dcf8f4d0fb7419c07b9287db22f6ed6cbf000a4 (patch) | |
| tree | 35fdde54ab660c1c0e3dff0de8ce00fd87e8832e /pretyping/reductionops.mli | |
| parent | 5b08cdcd4bde7fdcd21f7a0f0912f0021847294b (diff) | |
Move the only use of strong_with_flags to its single calling module.
This also allows to move the strong variant of cbn to the Cbn module.
Diffstat (limited to 'pretyping/reductionops.mli')
| -rw-r--r-- | pretyping/reductionops.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pretyping/reductionops.mli b/pretyping/reductionops.mli index 59bc4a8b72..93cb4c190c 100644 --- a/pretyping/reductionops.mli +++ b/pretyping/reductionops.mli @@ -145,9 +145,6 @@ type stack_reduction_function = (** {6 Reduction Function Operators } *) -val strong_with_flags : - (CClosure.RedFlags.reds -> reduction_function) -> - (CClosure.RedFlags.reds -> reduction_function) val strong : reduction_function -> reduction_function (** {6 Generic Optimized Reduction Function using Closures } *) |