Integrated: Fix build error

[Robin Westberg]

On Fri, 4 Sep 2020 09:41:45 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:

> Hi all,
> 
> Please review this small change that fixes a build error.
> 
> Best regards,
> Robin

This pull request has now been integrated.

Changeset: 0b3457fd
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/0b3457fd
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

Fix build error

Reviewed-by: ehelin

-------------

PR: https://git.openjdk.java.net/skara/pull/777