Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
royward authored Aug 21, 2024
1 parent 96e98a6 commit 5a73c1a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -152,7 +152,7 @@ ninja
ctest -j $(nproc) --output-on-failure
ninja install
```
If you installed swi-prolog as a package from your linux distribition and run into issues, it is likely that you will need to `apt remove` it and then either
If you installed swi-prolog as a package from your Linux distribition and run into issues, it is likely that you will need to `apt remove` it and then either
* build SWI-prolog from source making sure that all the operating system packages are installed first, or
* rerun the metta-wam `INSTALL.sh` script.

Expand Down

0 comments on commit 5a73c1a

Please sign in to comment.