diff options
Diffstat (limited to 'src/lib/player_text.cc')
| -rw-r--r-- | src/lib/player_text.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/lib/player_text.cc b/src/lib/player_text.cc index 429f85ddf..d9c153416 100644 --- a/src/lib/player_text.cc +++ b/src/lib/player_text.cc @@ -48,3 +48,9 @@ operator== (PlayerText const & a, PlayerText const & b) { return deep_equals(a.fonts, b.fonts) && deep_equals(a.bitmap, b.bitmap) && deep_equals(a.string, b.string); } + +bool +operator!= (PlayerText const & a, PlayerText const & b) +{ + return !(a == b); +} |