From 3c9766336297769467be0ddcbce0376b58a344f3 Mon Sep 17 00:00:00 2001
From: Patrick LaFontaine <32135464+Pat-Lafon@users.noreply.github.com>
Date: Tue, 29 Aug 2023 05:27:20 -0400
Subject: [PATCH] Add comment

---
 z3/tests/ops.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/z3/tests/ops.rs b/z3/tests/ops.rs
index d558b9ea..cb0fe2c1 100644
--- a/z3/tests/ops.rs
+++ b/z3/tests/ops.rs
@@ -209,6 +209,7 @@ fn test_ast_children() {
     assert_eq!(not_a.nth_child(1), None);
 
     let b = Bool::new_const(&ctx, "b");
+    // This is specifically testing for an array of values, not an array of slices
     let a_or_b = Bool::or(&ctx, &[a.clone(), b.clone()]);
     assert_eq!(a_or_b.num_children(), 2);
     assert_bool_child(&a_or_b, 0, &a);