From a66095bb08bd682c37fb0f3ee1526b0ef95d833a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 20 Jul 2022 22:36:34 -0700
Subject: [PATCH] fix the path to ../build/z3-built

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

diff --git a/src/api/js/src/jest.ts b/src/api/js/src/jest.ts
index 2de6cdab1..9cbab31f1 100644
--- a/src/api/js/src/jest.ts
+++ b/src/api/js/src/jest.ts
@@ -3,7 +3,7 @@
 // @ts-ignore no-implicit-any
 import { createApi, Z3HighLevel } from './high-level';
 import { init as initWrapper, Z3LowLevel } from './low-level';
-import initModule = require('../z3-built');
+import initModule = require('../build/z3-built');
 
 export * from './high-level/types';
 export { Z3Core, Z3LowLevel } from './low-level';