type choose_interp_callback = (string * string) list list -> int list
let mono_uris_callback ~id =
- if Helm_registry.get_bool "matita.auto_disambiguation" then
+ if Helm_registry.get_opt_default Helm_registry.get_bool ~default:true
+ "matita.auto_disambiguation"
+ then
function l -> l
else
raise Ambiguous_input