Merge pull request #5390 from Marcono1234/patch-2

Java: Fix documentation mistake in Modules.qll
This commit is contained in:
Anders Schack-Mulligen
2021-03-12 12:51:24 +01:00
committed by GitHub

View File

@@ -144,7 +144,7 @@ class OpensDirective extends Directive, @opens {
/**
* Gets a module specified in the `to` clause of this
* `exports` directive, if any.
* `opens` directive, if any.
*/
Module getATargetModule() { opensTo(this, result) }