[Minotaur-dev] [minotaur-solver/minotaur] 545ab3: a minor fix

[Prashant Palkar]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: 545ab3f145c5e1d6d48cf2e519b80fdf21a2dc99
      https://github.com/minotaur-solver/minotaur/commit/545ab3f145c5e1d6d48cf2e519b80fdf21a2dc99
  Author: ppalkar <ppalkar.iitb at gmail.com>
  Date:   2019-07-31 (Wed, 31 Jul 2019)

  Changed paths:
    M src/base/ParPCBProcessor.cpp

  Log Message:
  -----------
  a minor fix