[Minotaur-dev] [minotaur-solver/minotaur] 937cc0: removed an unused variable

[Prashant Palkar]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 937cc0d35e9a4ba4ac54a183cb804d4b550409a6
      https://github.com/minotaur-solver/minotaur/commit/937cc0d35e9a4ba4ac54a183cb804d4b550409a6
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2019-09-04 (Wed, 04 Sep 2019)

  Changed paths:
    M src/algorithms/Bnb.cpp

  Log Message:
  -----------
  removed an unused variable