Commit 539e6c138ec3edc42f72a23d8e8814edf1319f07

Vicent Martí 2012-05-26T10:38:24

Merge pull request #732 from schu/fix-gcc-nonnull tests-clar/core: fix non-null warning