From 3ac9c1faad4f72a1b124339bcb42af15da24ed05 Mon Sep 17 00:00:00 2001 From: Florent Kirchner <florent.kirchner@cea.fr> Date: Sun, 15 Oct 2017 12:54:57 +0200 Subject: [PATCH] Fix version typo --- src/plugins/markdown-report/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/markdown-report/README.md b/src/plugins/markdown-report/README.md index 303d21b65cf..4e22e1d08d2 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 -- GitLab