+ if (e->used == 0) {
+ fprintf(stderr,"(backtrace not set)\n");
+ } else {
+ fprintf(stderr,"Backtrace:\n");
+ for (i=1; i<e->used; i++) /* no need to display "xbt_display_backtrace" */
+ fprintf(stderr,"---> %s\n",e->bt_strings[i] +4);
+ }
+
+ /* don't fool xbt_ex_free with uninitialized msg field */
+ e->msg=NULL;
+ e->remote=0;
+ xbt_ex_free(*e);