Assorted trivial cleanups 4/2019

No functional change.
2026-05-20 10:57:43 +00:00 · 2019-03-31 12:02:19 +02:00
parent 5c4002aa82
commit 4e72e2a964
14 changed files with 43 additions and 46 deletions
@@ -18,6 +18,7 @@
  along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */

+#include <algorithm>
 #include <cassert>
 #include <ostream>
 #include <sstream>