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

Change heading in java-bytecode docs

This commit is contained in:
John Nonweiler 2018-08-16 15:05:30 +01:00
parent ccf3c501bd
commit 794ba031f4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jbmc/src/java_bytecode/README.md
View File

@ -3,7 +3,7 @@
This module provides a front end for Java.
\section java-bytecode-conversion-section The 2 step conversion from bytecode to codet
\section java-bytecode-conversion-section Overview of conversion from bytecode to codet
To be documented.