[Minotaur-dev] [minotaur-solver/minotaur] 51c60d: Fixed a bug

[Nitish Dumoliya]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 51c60dd92f08e5e6affaf7d6a05ac903dd1e3633
      https://github.com/minotaur-solver/minotaur/commit/51c60dd92f08e5e6affaf7d6a05ac903dd1e3633
  Author: Nitish Dumoliya <73187802+nitishdumoliya at users.noreply.github.com>
  Date:   2022-09-29 (Thu, 29 Sep 2022)

  Changed paths:
    M src/base/LinearHandler.cpp

  Log Message:
  -----------
  Fixed a bug