FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

Add missing case in lidents_of_term

Open gebner opened this issue 1 year ago • 0 comments

This caused the IDE server to crash on some files in pulse.

gebner avatar Feb 23 '24 23:02 gebner