We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Hanfor gets stuck if you try to rename an Enumerator (that is already in use).
If you try to rename it in the Enum modal, hanfor will add it in a new line instead.
The text was updated successfully, but these errors were encountered:
XHRPOST https://struebli.informatik.uni-freiburg.de/hanfor02/api/var/update [HTTP/2 500 203ms]
errormsg TypeError("argument of type 'NoneType' is not iterable") success false
TypeError("argument of type 'NoneType' is not iterable")
Sorry, something went wrong.
No branches or pull requests
Hanfor gets stuck if you try to rename an Enumerator (that is already in use).
If you try to rename it in the Enum modal, hanfor will add it in a new line instead.
The text was updated successfully, but these errors were encountered: