fix: get_elem_tactic_trivial to not loop in the presence of mvars
#20409
The logs for this run have expired and are no longer available.
Loading