Switched from libsex-3.0.0 to libsex-3.1.0.
[libfsafe.git] / libfsafe / PostconditionViolation.cxx
blob3f7c58b1e7a03d72c662c90867a485f43c1465bb
1 #include <libfsafe/PostconditionViolation.hxx>
2 #include <libsex/define.hxx>
4 LIBSEX_DEFINE(
5 libfsafe::AssertionFailure,
6 libfsafe,
7 PostconditionViolation,
8 "Postcondition '%s' violated.")