diff --git a/src/api/js/src/jest.ts b/src/api/js/src/jest.ts index 2de6cdab1..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('../z3-built'); +import initModule = require('./z3-built'); export * from './high-level/types'; export { Z3Core, Z3LowLevel } from './low-level';