Skip to content
GitLab

fixed the two problems identified through issue 2370.

Merged Sven-Bodo Scholz requested to merge sbs/sac2c:hotfix-2370 into develop

We forbid .-symbols in the final partition of a TC now, and we deal properly with <= operations on the upper bound of TC partitions.