[Minotaur-dev] [minotaur-solver/minotaur] 65780d: Some warnings fixed in few Processors and Handlers.

[Mustafa Vora]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 65780d0f6641ef51be1d2cac53b40f2da92c1201
      https://github.com/minotaur-solver/minotaur/commit/65780d0f6641ef51be1d2cac53b40f2da92c1201
  Author: Mustafa Vora <184190001 at iitb.ac.in>
  Date:   2019-09-25 (Wed, 25 Sep 2019)

  Changed paths:
    M src/base/NlPresHandler.cpp
    M src/base/Option.cpp
    M src/base/PCBProcessor.cpp
    M src/base/ParPCBProcessor.cpp
    M src/base/QPDProcessor.cpp
    M src/base/RCHandler.cpp

  Log Message:
  -----------
  Some warnings fixed in few Processors and Handlers.


  Commit: d5a8a101063b3690d9d07c0638ac407a69b7449a
      https://github.com/minotaur-solver/minotaur/commit/d5a8a101063b3690d9d07c0638ac407a69b7449a
  Author: Mustafa Vora <184190001 at iitb.ac.in>
  Date:   2019-09-25 (Wed, 25 Sep 2019)

  Changed paths:
    M third-party/build_third_party

  Log Message:
  -----------
  Merge branch 'master' of https://github.com/minotaur-solver/minotaur


Compare: https://github.com/minotaur-solver/minotaur/compare/db5c385a1d61...d5a8a101063b