~doubling_stash()

doubling_stash::~doubling_stash

(

)

Definition at line 134 of file mem.cpp.

{
  for (int i = 0; i < NDOUBLES; i++)
    {
      if (doubles[i] != nullptr)
        emit("internal warning -- deleting a double stash");
      freemem(doubles[i]);
    }
}

References doubles, emit(), freemem(), and NDOUBLES.