Closed dschoepe closed 2 months ago
This hook is described in the documentation but wasn't actually provided to plugins.
Fixes a mismatch between the documentation and what's actually provided in the plugin API
Tested with a local Dafny plugin that uses PreResolve.
PreResolve
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.
This hook is described in the documentation but wasn't actually provided to plugins.
Description
Fixes a mismatch between the documentation and what's actually provided in the plugin API
How has this been tested?
Tested with a local Dafny plugin that uses
PreResolve.By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.