Skip to content

Commit 1b40e61

Browse files
peterschrammelpeterschrammel
committed
Fix CMBC typos
1 parent 7229498 commit 1b40e61

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

‎doc/architectural/cprover-architecture-overview.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -433,7 +433,7 @@ different decision procedures, roughly one per directory.
433433
* sat/: Back-ends for a variety of SAT solvers and DIMACS output.
434434

435435
\section cbmc-section CBMC directory
436-
CMBC/
436+
CBMC/
437437
------------------------
438438

439439
This contains the first full application. CBMC is a bounded model

‎doc/cbmc-user-manual.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
\ingroup module_hidden
2-
\page cbmc-user-manual CMBC User Manual
2+
\page cbmc-user-manual CBMC User Manual
33

44
\author Daniel Kroening
55

0 commit comments

Comments
 (0)