Rename "Set SsrMatchingDebug" into "Set Debug SsrMatching"

for uniformity with other Debug options.

1 files changed, 1 insertions, 1 deletions

diff --git a/plugins/ssrmatching/ssrmatching.ml4 b/plugins/ssrmatching/ssrmatching.ml4
index b25f0f2341..718296c501 100644
--- a/plugins/ssrmatching/ssrmatching.ml4
+++ b/plugins/ssrmatching/ssrmatching.ml4
@@ -71,7 +71,7 @@ let _ =
   Goptions.declare_bool_option
     { Goptions.optsync  = false;
       Goptions.optname  = "ssrmatching debugging";
-      Goptions.optkey   = ["SsrMatchingDebug"];
+      Goptions.optkey   = ["Debug";"SsrMatching"];
       Goptions.optdepr  = false;
       Goptions.optread  = (fun _ -> !pp_ref == ssr_pp);
       Goptions.optwrite = debug }