Report last ad and depth with error when getting distance#85

Merged

gammazero merged 2 commits intomainfrom ad-dist-error-at

Dec 6, 2023

+11-8

Commits on Dec 2, 2023

Report last ad and depth with error getting distance
gammazero
committed

Commits on Dec 5, 2023

Remove unneeded error type check
gammazero
committed