include <algorithm> for use of std::min().
authorRichard Kreckel <kreckel@ginac.de>
Thu, 17 Dec 2015 21:57:04 +0000 (22:57 +0100)
committerRichard Kreckel <kreckel@ginac.de>
Thu, 17 Dec 2015 22:00:51 +0000 (23:00 +0100)
Thanks to Jan Rheinländer for reporting this.


No differences found