From afcfc80c4260db4041891ff2e7dce2be46a21efd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 Jul 2022 11:21:16 -0700
Subject: [PATCH] the relative path seems out of sync with how it is set up in
 node.ts

---
 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 9cbab31f1..18f43e4c2 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('../build/z3-built');
+import initModule = require('./z3-built');
 
 export * from './high-level/types';
 export { Z3Core, Z3LowLevel } from './low-level';