Fix missing usage of saved_tree in AsanGiovese (#1506)

This commit is contained in:
Andrea Fioraldi 2023-09-07 13:40:17 +02:00 committed by GitHub
parent b090bc7b4b
commit 5311ce705a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -418,7 +418,7 @@ impl AsanGiovese {
}
if self.snapshot_shadow {
tree.clear();
*tree = self.saved_tree.clone();
}
}