diff options
| -rw-r--r-- | toplevel/cerrors.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/toplevel/cerrors.mli b/toplevel/cerrors.mli index a0e3e3c199..cd6ccd5653 100644 --- a/toplevel/cerrors.mli +++ b/toplevel/cerrors.mli @@ -6,6 +6,9 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) +(** Toplevel Exception *) +exception EvaluatedError of Pp.std_ppcmds * exn option + (** Error report. *) val print_loc : Loc.t -> Pp.std_ppcmds |