diff options
| author | Enrico Tassi | 2014-09-16 16:48:38 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-09-16 16:48:38 +0200 |
| commit | 26aa224293e88611dcb543e400488013bc8b30b4 (patch) | |
| tree | b95c210d1f27fa7badde3a3daaa8a4ef1736c2e4 | |
| parent | 6296cc78d9809c501273c5020ae1d7c53bf9c5ed (diff) | |
better error message
| -rw-r--r-- | toplevel/indschemes.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/indschemes.ml b/toplevel/indschemes.ml index 1ecd893d92..2b015b0331 100644 --- a/toplevel/indschemes.ml +++ b/toplevel/indschemes.ml @@ -182,7 +182,8 @@ let try_declare_scheme what f internal names kn = alarm what internal (msg ++ str ".") | e when Errors.noncritical e -> alarm what internal - (str "Unknown exception during scheme creation.") + (str "Unknown exception during scheme creation: "++ + str (Printexc.to_string e)) let beq_scheme_msg mind = let mib = Global.lookup_mind mind in |