[Minotaur-dev] [coin-or/minotaur] 9f8545: minor change in function name

[Ashutosh Mahajan]

  Branch: refs/heads/master
  Home:   https://github.com/coin-or/minotaur
  Commit: 9f8545727ea26795f62e21f6d41eab898739ba31
      https://github.com/coin-or/minotaur/commit/9f8545727ea26795f62e21f6d41eab898739ba31
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2023-07-18 (Tue, 18 Jul 2023)

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

  Log Message:
  -----------
  minor change in function name