tree 9efe943f75a7a7d046129e254d18949a10c2451c
parent de18e90cadb5184c10304e41a9f73ffe30720cde
author Akron <nils@diewald-online.de> 1630052113 +0200
committer Akron <nils@diewald-online.de> 1630052113 +0200

Ignore MCS in sigma if not used in the transducer