diff options
Diffstat (limited to 'src/tac2interp.mli')
| -rw-r--r-- | src/tac2interp.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/tac2interp.mli b/src/tac2interp.mli index 18522c3c91..1ac26b48db 100644 --- a/src/tac2interp.mli +++ b/src/tac2interp.mli @@ -26,7 +26,3 @@ val set_env : environment -> Glob_term.unbound_ltac_var_map -> Glob_term.unbound exception LtacError of KerName.t * valexpr array (** Ltac2-defined exceptions seen from OCaml side *) - -val val_exn : Exninfo.iexn Tac2dyn.Val.tag -(** Toplevel representation of OCaml exceptions. Invariant: no [LtacError] - should be put into a value with tag [val_exn]. *) |