Skip to content

Commit

Permalink
the relative path seems out of sync with how it is set up in node.ts
Browse files Browse the repository at this point in the history
  • Loading branch information
NikolajBjorner committed Jul 18, 2022
1 parent 7f1893d commit afcfc80
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/api/js/src/jest.ts
Original file line number Diff line number Diff line change
Expand Up @@ -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';
Expand Down

0 comments on commit afcfc80

Please sign in to comment.