Fix the case in get_shortest_word that NFA accepts empty word#631

Adda0 merged 1 commit into

develVeriFIT/mata:develfrom

fix_shortest_word_empty_wordVeriFIT/mata:fix_shortest_word_empty_wordCopy head branch name to clipboard