Fix a typo JMBC->JBMC

NathanJPhillips · Jul 10, 2018 · d5f3c32 · d5f3c32
1 parent b5075d7
commit d5f3c32
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/COMPILING.md b/COMPILING.md
@@ -185,7 +185,7 @@ Follow these instructions:
    make -C src DOWNLOADER=wget minisat2-download
    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