[Minotaur-dev] [minotaur-solver/minotaur] 309bcd: Including <string> and <stdlib> headers in Types.h.
Prashant Palkar
noreply at github.com
Sat Sep 28 02:39:00 CDT 2019
Branch: refs/heads/master
Home: https://github.com/minotaur-solver/minotaur
Commit: 309bcd6d0bf7a141c16a3bd9872bcc7f9ce7afce
https://github.com/minotaur-solver/minotaur/commit/309bcd6d0bf7a141c16a3bd9872bcc7f9ce7afce
Author: ppalkar <ppalkar.iitb at gmail.com>
Date: 2019-09-28 (Sat, 28 Sep 2019)
Changed paths:
M src/base/Types.h
Log Message:
-----------
Including <string> and <stdlib> headers in Types.h.
Some linux systems threw error while compiling MINOTAUR due to
absence of these headers, so included them in Types.h.
More information about the Minotaur-dev
mailing list