diff options
| author | Pierre Boutillier | 2014-06-30 18:05:39 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-08-26 17:48:50 +0200 |
| commit | bcfd854d7a6e012ac6bf116487a59a0f997725ee (patch) | |
| tree | 08c36946a8d0587fe450b2ec897eaaf09145d166 /dev/top_printers.ml | |
| parent | 3ffdcc7183b2cfbf6c53dd4f1dd6e48da416f07d (diff) | |
Debug RAKAM
Diffstat (limited to 'dev/top_printers.ml')
| -rw-r--r-- | dev/top_printers.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev/top_printers.ml b/dev/top_printers.ml index fccf580a50..15f35b775f 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -141,6 +141,7 @@ let pp_cpred s = pp (pr_cpred s) let pp_transparent_state s = pp (pr_transparent_state s) let pp_stack_t n = pp (Reductionops.Stack.pr Termops.print_constr n) let pp_cst_stack_t n = pp (Reductionops.Cst_stack.pr n) +let pp_state_t n = pp (Reductionops.pr_state n) (* proof printers *) let pr_evar ev = Pp.int (Evar.repr ev) |