diff --git a/ogma-cli/README.md b/ogma-cli/README.md index 00fb2d53..e006647e 100644 --- a/ogma-cli/README.md +++ b/ogma-cli/README.md @@ -46,9 +46,9 @@ verification framework that generates hard real-time C99 code. - [Usage](#usage) - [Language Transformations: FRET](#language-transformations-fret) - [cFS Application Generation](#cfs-application-generation) - - [Struct Interface Generation](#struct-interface-generation) - [ROS Application Generation](#ros-application-generation) - [F' Component Generation](#f-component-generation) + - [Struct Interface Generation](#struct-interface-generation) - [Contributions](#contributions) - [Acknowledgements](#acknowledgements) - [License](#license)