Skip to content

Commit

Permalink
more spacing fixes in readme
Browse files Browse the repository at this point in the history
  • Loading branch information
jurajsic committed Jan 1, 2025
1 parent 20bc835 commit a6f7b74
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions src/api/js/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -39,11 +39,11 @@ Detailed instruction for binding building for Z3-Noodler:
npm run build:wasm
```
6) You can add dependency to this binding by adding the following to your `package.json` file:
```
"dependencies": {
"z3-solver": "file:PATH/TO/THIS/DIRECTORY"
}
```
```
"dependencies": {
"z3-solver": "file:PATH/TO/THIS/DIRECTORY"
}
```

### Build on your own

Expand Down

0 comments on commit a6f7b74

Please sign in to comment.