tree 787fde2160e5d4e52bfeb4bcf424ef6273427c83
parent db602af8cf0c1088e3ad0f8a459ebbd767b1dfb5
author notstrom <jochen@tolot.escape.de> 1541356820 +0100
committer notstrom <jochen@tolot.escape.de> 1541356820 +0100

Fix prototype.

Change-Id: Ib2f3e8efaa090a2346310dbcaebc74603b222ce8