Merge pull request #2597 from allredj/update-jbmc-gitignore

Update jbmc gitignore
diffblue · Jul 24, 2018 · 9a75c65 · 9a75c65
2 parents 819560f + 37fc4e6
commit 9a75c65
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -111,10 +111,10 @@ src/clobber/clobber
 src/clobber/clobber.exe
 src/big-int/test-bigint
 src/big-int/test-bigint.exe
-jbmc/src/jbmc/janalyzer
-jbmc/src/jbmc/janalyzer.exe
-jbmc/src/jbmc/jdiff
-jbmc/src/jbmc/jdiff.exe
+jbmc/src/janalyzer/janalyzer
+jbmc/src/janalyzer/janalyzer.exe
+jbmc/src/jdiff/jdiff
+jbmc/src/jdiff/jdiff.exe
 jbmc/src/jbmc/jbmc
 jbmc/src/jbmc/jbmc.exe