[Minotaur-dev] [minotaur-solver/minotaur] 5589c9: fixed a warning message

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 5589c94506c7c174f5c1ab292786420a7dbfb844
      https://github.com/minotaur-solver/minotaur/commit/5589c94506c7c174f5c1ab292786420a7dbfb844
  Author: meenarli <kukku.meenarli at gmail.com>
  Date:   2018-04-09 (Mon, 09 Apr 2018)

  Changed paths:
    M src/base/PerspCutHandler.cpp

  Log Message:
  -----------
  fixed a warning message