undo an annoying change
[unfold.git] / manifold / core / __init__.py