TRY {
varstack = xbt_dict_get(ps->space, name);
- } CATCH(e) {
+ }
+ CATCH(e) {
if (e.category != mismatch_error)
RETHROW;
XBT_DEBUG("pop(%s)", name);
TRY {
varstack = xbt_dict_get(ps->space, name);
- } CATCH(e) {
+ }
+ CATCH(e) {
if (e.category != mismatch_error)
RETHROW;