diff options
Diffstat (limited to 'libitm/retry.cc')
-rw-r--r-- | libitm/retry.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libitm/retry.cc b/libitm/retry.cc index 761a066e834a..d59c1834ef00 100644 --- a/libitm/retry.cc +++ b/libitm/retry.cc @@ -199,6 +199,11 @@ parse_default_method() disp = GTM::dispatch_gl_wt(); env += 5; } + else if (strncmp(env, "ml_wt", 5) == 0) + { + disp = GTM::dispatch_ml_wt(); + env += 5; + } else goto unknown; |