From 5b522c12eeacf13cc1fc5cc9af7069438801519d Mon Sep 17 00:00:00 2001 From: Aaron Fenyes Date: Thu, 31 Oct 2024 01:23:22 -0700 Subject: [PATCH] Include vector representation in element diff key --- app-proto/src/outline.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/app-proto/src/outline.rs b/app-proto/src/outline.rs index 4a2b36a..66b50f4 100644 --- a/app-proto/src/outline.rs +++ b/app-proto/src/outline.rs @@ -200,6 +200,7 @@ pub fn Outline() -> View { key.clone(), elt.id.clone(), elt.label.clone(), + elt.rep.into_iter().map(|u| u.to_bits()).collect::>(), elt.constraints.clone() ) )