Commit ef48de64 authored by vaclav's avatar vaclav
Browse files

fix sanitizer error

parent 7030b108