From dc9565990cd8460dc87e5c7472ab9ce143969449 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 20 Jul 2022 22:15:22 -0700
Subject: [PATCH] did I mess up wasm paths in jest - or not?

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 18f43e4c2..2de6cdab1 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('../z3-built');
 
 export * from './high-level/types';
 export { Z3Core, Z3LowLevel } from './low-level';