From: Daniel Kirschten Date: Wed, 17 Jul 2019 20:05:43 +0000 (+0200) Subject: More helpful error for standard ID not occurring in standard mapping X-Git-Url: https://mograsim.net/gitweb/?a=commitdiff_plain;h=f0a19ba9d94937693b84c65c6c9236a37cf24224;hp=f0a19ba9d94937693b84c65c6c9236a37cf24224;p=Mograsim.git More helpful error for standard ID not occurring in standard mapping ---