raph-amiard/Z3 — comment on commit 21b3b6b250a21f6ce71e99277006e6f8c2c2e2bb
File: src/GenBlock.cpp line 413
By raph-amiard:

I think it would be better to raise an exception, if n should never be odd, it shouldn't fail silently