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

Vim's auto-indentation should be use with more caution :(