src/HOL/TPTP/TPTP_Parser/tptp_syntax.ML

     Annotated_Formula of position * language * string * role * tptp_formula * annotation option
  |  Include of position * string * string list
 
 type tptp_problem = tptp_line list
 
-fun debug f x = if !Runtime.debug then (f x; ()) else ()
+fun debug f x = if Options.default_bool @{option exception_trace} then (f x; ()) else ()
 
 fun nameof_tff_atom_type (Atom_type str) = str
   | nameof_tff_atom_type _ = raise TPTP_SYNTAX "nameof_tff_atom_type called on non-atom type"
 
 fun pos_of_line tptp_line =