diff --git a/src/api/js/src/jest.ts b/src/api/js/src/jest.ts index 9cbab31f14d..18f43e4c29c 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';