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