Closed ritzdorf closed 1 month ago
Currently, we incorrectly convert between different variable typestrings. This is just a hotfix so that the pretty printing does not crash.
Currently, we incorrectly convert between different variable typestrings. This is just a hotfix so that the pretty printing does not crash.