From 652402fa1f39b7b8ad06c78c10c0b4a5cf2f016a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 30 Jun 2026 20:47:01 -0700 Subject: [PATCH] branch Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/seq_split.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ast/rewriter/seq_split.cpp b/src/ast/rewriter/seq_split.cpp index 8977065fc0..fcba3a8d03 100644 --- a/src/ast/rewriter/seq_split.cpp +++ b/src/ast/rewriter/seq_split.cpp @@ -1,3 +1,4 @@ + /*++ Copyright (c) 2026 Microsoft Corporation