Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Removed catch all exception handler obstruction actual problem.

This commit is contained in:
Achim D. Brucker 2024-01-01 05:15:16 +00:00
parent 415c9efdfa
commit f615eb6e4f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Isabelle_DOF/thys/Isa_DOF.thy
View File

@ -2248,7 +2248,7 @@ fun meta_args_2_latex thy sem_attrs transform_attr
fun ltx_of_markup ctxt s = let
val term = (Syntax.check_term ctxt o Syntax.parse_term ctxt) s
val str_of_term = ltx_of_term ctxt true term
handle _ => "Exception in ltx_of_term"
(* handle _ => "Exception in ltx_of_term" *)
in
str_of_term
end