tree 5dde9d1d30c8cf4c5ed56b66aeb339913e3880d9
parent b7e1f133b92aa7cccbcab20b33132c3917a2ad2f
author Akron <nils@diewald-online.de> 1628606924 +0200
committer Akron <nils@diewald-online.de> 1628606924 +0200

Fix check on final states