From 90a660ccb932fc7916adf2367d95f1325012207d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 17 Jan 2026 20:42:45 -0800 Subject: [PATCH] check context match Signed-off-by: Nikolaj Bjorner --- src/api/dotnet/Context.cs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs index 4c46d0a95..8ea4d70bc 100644 --- a/src/api/dotnet/Context.cs +++ b/src/api/dotnet/Context.cs @@ -2691,7 +2691,8 @@ namespace Microsoft.Z3 Debug.Assert(i != null); Debug.Assert(a != null); Debug.Assert(s != null); - CheckContextMatch(f, i, a, s); + CheckContextMatch(f, i, a); + CheckContextMatch(s, a); return Expr.Create(this, Native.Z3_mk_seq_foldli(nCtx, f.NativeObject, i.NativeObject, a.NativeObject, s.NativeObject)); }