segmentation fault filter.shared no label

I’m running 1.33.3. Filter.shared gives a segmentation fault if no label is specified even though there is only one level in the big shared file

eta-just reporting the bug. the easy work around is to specify level

I am not able to reproduce that. Could you post the exact command you are running? Which OS?