From decb0fffc15c904ac003eac57977a21b494728fe Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 6 Feb 2026 17:27:19 +0000
Subject: [PATCH] Fix TypeScript compilation error: add updateField to Context
 interface

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/api/js/src/high-level/types.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/api/js/src/high-level/types.ts b/src/api/js/src/high-level/types.ts
index b252f6921..128491954 100644
--- a/src/api/js/src/high-level/types.ts
+++ b/src/api/js/src/high-level/types.ts
@@ -802,6 +802,9 @@ export interface Context<Name extends string = 'main'> {
   /** @category Operations */
   substituteFuns(t: Expr<Name>, ...substitutions: [FuncDecl<Name>, Expr<Name>][]): Expr<Name>;
 
+  /** @category Operations */
+  updateField(t: DatatypeExpr<Name>, fieldAccessor: FuncDecl<Name>, newValue: Expr<Name>): DatatypeExpr<Name>;
+
   simplify(expr: Expr<Name>): Promise<Expr<Name>>;
 
   /** @category Operations */