commit | 12d67b37cde0d6f8492bc2052b3fe8da4691f9d0 | [log] [tgz] |
---|---|---|
author | Tom Tromey <tromey@adacore.com> | Thu Feb 16 10:27:26 2023 -0700 |
committer | Tom Tromey <tromey@adacore.com> | Thu Feb 16 10:29:11 2023 -0700 |
tree | cc110897d5b7306e92549602457a52e61fb271dc | |
parent | 16b84b6599dba01abc00954d0bc80ddf0c2373e3 [diff] |
Rename parameter of create_ada_exception_catchpoint create_ada_exception_catchpoint has a parameter named "disabled", but both its callers and callees use it to mean "enabled". This is confusing, so this patch renames the parameter.