From 19da3c7086dcf5cd0c78a82db9f99f5ef295b8ff Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 18 Aug 2022 13:26:29 -0700
Subject: [PATCH] fix closing parnetheses

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/js/src/high-level/high-level.test.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/js/src/high-level/high-level.test.ts b/src/api/js/src/high-level/high-level.test.ts
index 78b003b8900..aeb0939a05b 100644
--- a/src/api/js/src/high-level/high-level.test.ts
+++ b/src/api/js/src/high-level/high-level.test.ts
@@ -117,7 +117,7 @@ describe('high-level', () => {
     const x = Int.const('x')
     solver.add(Not(x.eq(1)))
     expect(await solver.check()).toStrictEqual('unsat')
-  }
+  });
 
   it('disproves x = y implies g(g(x)) = g(y)', async () => {
     const { Solver, Int, Function, Implies, Not } = api.Context('main');