Commit b24f7d45 authored by Lukas's avatar Lukas
Browse files

Fix type error

parent 36b0d555