8b459d9643
This patch fixes the build error due to #2888 since this patch has been merged without rebasing to #2903. JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik frobert@inf.u-szeged.hu