dfree()

void dfree

(

const FreeModule *

F

)

Definition at line 66 of file debug.cpp.

{
  buffer o;
  F->text_out(o);
  emit(o.str());
}

References emit(), buffer::str(), and FreeModule::text_out().