diff options
| author | Joel Klinghed <the_jk@yahoo.com> | 2017-08-10 20:04:01 +0200 |
|---|---|---|
| committer | Joel Klinghed <the_jk@yahoo.com> | 2017-08-10 20:04:01 +0200 |
| commit | 725cb48b8909588b41c86c680e40b0a7df13e384 (patch) | |
| tree | a8f4181ff1a1c2d6a96ce64c03e5fd2a46d490e5 | |
| parent | 2d028a0449b4e1e8b1a35ff68f531e5b6ca7c75f (diff) | |
Workaround warning
| -rw-r--r-- | src/monitor-gui.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/monitor-gui.cc b/src/monitor-gui.cc index 67b9b63..61c720f 100644 --- a/src/monitor-gui.cc +++ b/src/monitor-gui.cc @@ -1624,6 +1624,8 @@ private: case PackagesReader::GOOD: return true; } + assert(false); + return false; } bool save(PackageList const* packages, std::string const& file) { |