cxx.patch

   1 --- NuSMV-2.5.4/MiniSat/MiniSat_v070721_nusmv.patch~    2019-10-20 11:47:17.000000000 +0200
   2 +++ NuSMV-2.5.4/MiniSat/MiniSat_v070721_nusmv.patch     2019-10-20 11:48:41.416405292 +0200
   3 @@ -598,7 +598,7 @@
   4  +  return (MiniSat_ptr)new SimpSolver();
   5  +}
   6  +
   7 -+extern "C"void MiniSat_Delete(MiniSat_ptr ms)
   8 ++extern "C" void MiniSat_Delete(MiniSat_ptr ms)
   9  +{
  10  +  delete (SimpSolver *)ms;
  11  +}