message: Solve double free bug.
diff: @@ -59,8 +59,10 @@ Device Device::device_singleton;
  Device::~Device()
  {
  + if (destroy_mm) {
  free(ceed_option);
  - if (destroy_mm) { mm.Destroy(); }
  + mm.Destroy();
  + }
  }
  void Device::Configure(const std::string &device, const int dev)
  