diff --git a/src/plugins/markdown-report/README.md b/src/plugins/markdown-report/README.md index 303d21b65cf4a96fcfc8a788fc4c966db447db5f..4e22e1d08d250a4bc9a0a92a479c5392a4ced5fe 100644 --- a/src/plugins/markdown-report/README.md +++ b/src/plugins/markdown-report/README.md @@ -6,7 +6,7 @@ Generation of pandoc reports. # Requirements - OCaml >= 4.04; -- Frama-C 16 (Phosphorus) +- Frama-C 15 (Phosphorus) - FlameGraph ([`https://github.com/brendangregg/FlameGraph`](https://github.com/brendangregg/FlameGraph)) # Example