Compilation fix: missing header for std::max

This commit is contained in:
Jean-Marc Lasgouttes 2017-02-07 11:42:36 +01:00
parent b541692823
commit ace5dc157c

View File

@ -28,6 +28,7 @@
#include "support/docstring.h"
#include "support/lassert.h"
#include <algorithm>
#include <ostream>
using namespace std;