Proof mode tactics (based on _failIfUsed
) do not work when StringMLVariables
is used
#370
Labels
bug
Something isn't working
The tactic
_failIfUsed
does not terminate when the signature usesStringMLVariables
.The text was updated successfully, but these errors were encountered: