temporal: fix TimeDomainProvider::set_time_domain_parent() to unset have_domain

This commit is contained in:
Paul Davis 2023-07-21 21:13:52 -06:00
parent 9461911a86
commit 7fe3becf2d

View File

@ -62,6 +62,7 @@ class TimeDomainProvider {
parent_connection.disconnect ();
TimeDomain old_domain = time_domain();
parent = &p;
have_domain = false;
TimeDomain new_domain = time_domain ();
if (old_domain != new_domain) {
TimeDomainChanged ();