replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix a typo JMBC->JBMC

This commit is contained in:
John Nonweiler 2018-07-10 14:05:20 +01:00
parent b5075d7784
commit d5f3c329eb
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
COMPILING.md
View File

@ -185,7 +185,7 @@ Follow these instructions:
make -C src DOWNLOADER=wget minisat2-download make -C src DOWNLOADER=wget minisat2-download
make -C src make -C src
``` ```
5. To compile JMBC, open the Cygwin shell and type 5. To compile JBMC, open the Cygwin shell and type
``` ```
make -C jbmc/src setup-submodules make -C jbmc/src setup-submodules
make -C jbmc/src make -C jbmc/src