aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/src/invalid_spec_2
AgeCommit message (Expand)Author
2014-03-24Don't 'opaque-decorate' a success typing using an incompatible specStavros Aronis