diff options
| author | Pierre-Marie Pédrot | 2020-02-11 22:07:31 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-06-04 12:44:45 +0200 |
| commit | 7a8c4003ef5071d6b9bc248e997d0397304e8491 (patch) | |
| tree | a2994e5cd0a245aa756125ceb8626bbc093f45a8 /dev/top_printers.mli | |
| parent | e766d31683550d1debea70a3620fc3597a154700 (diff) | |
Move the cbn reduction to its own file, and simplify the RAKAM accordingly.
Diffstat (limited to 'dev/top_printers.mli')
| -rw-r--r-- | dev/top_printers.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev/top_printers.mli b/dev/top_printers.mli index c826391cac..65eab8daa3 100644 --- a/dev/top_printers.mli +++ b/dev/top_printers.mli @@ -106,7 +106,6 @@ val pp_cpred : Names.Cpred.t -> unit val pp_transparent_state : TransparentState.t -> unit val pp_stack_t : Constr.t Reductionops.Stack.t -> unit -val pp_cst_stack_t : Reductionops.Cst_stack.t -> unit val pp_state_t : Reductionops.state -> unit val ppmetas : Evd.Metaset.t -> unit |