tree a34c87bef999e18861ee9fd94ed0a7deeffc3290
parent f59059fffbd1fecfc60da7a7eafe4931b8715b89
author Sergiu Deitsch <sergiu.deitsch@gmail.com> 1646301136 +0100
committer Sergiu Deitsch <sergiu.deitsch@gmail.com> 1646315403 +0100

Allow ProductManifold default construction

In many cases, manifolds stored in ProductManifold have a default
constructor which can simplify ProductManifold initialization even
further. Allow default construction of ProductManifold in this case.

Change-Id: I29b2612870c02232556688019a77049709684a55