[Minotaur-dev] [minotaur-solver/minotaur] e32a87: Resolving some errors.

[Prashant Palkar]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: e32a875f1126e00c8ea54ea800157af0afaf355a
      https://github.com/minotaur-solver/minotaur/commit/e32a875f1126e00c8ea54ea800157af0afaf355a
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2020-09-19 (Sat, 19 Sep 2020)

  Changed paths:
    M src/base/UnambRelBrancher.cpp
    M src/base/UnambRelBrancher.h

  Log Message:
  -----------
  Resolving some errors.


  Commit: 31c5bb821d62cfacc095d36ae02477c0481eaef9
      https://github.com/minotaur-solver/minotaur/commit/31c5bb821d62cfacc095d36ae02477c0481eaef9
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2020-09-19 (Sat, 19 Sep 2020)

  Changed paths:
    M src/base/CMakeLists.txt
    M src/base/Environment.cpp

  Log Message:
  -----------
  Merge branch 'master' of ssh://github.com/ashutoshmahajan/minotaur


Compare: https://github.com/minotaur-solver/minotaur/compare/98c586925aa0...31c5bb821d62