From 8aab925df6a8cae502f011e1af354070bb93219f Mon Sep 17 00:00:00 2001
From: rarbore2 <rarbore2@illinois.edu>
Date: Fri, 17 Jan 2025 19:09:53 -0600
Subject: [PATCH] Make concat test rely on DC normalization

---
 juno_samples/concat/src/concat.jn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/juno_samples/concat/src/concat.jn b/juno_samples/concat/src/concat.jn
index 1cf36b9a..2471671e 100644
--- a/juno_samples/concat/src/concat.jn
+++ b/juno_samples/concat/src/concat.jn
@@ -28,5 +28,5 @@ fn concat_entry(a : i32) -> i32 {
   arr2[4] = a;
   arr2[5] = a;
   let arr3 = concat::<i32, 3, 6>(arr1, arr2);
-  return sum::<i32, 3 + 6>(arr3);
+  return sum::<i32, 9>(arr3);
 }
-- 
GitLab