From 4f26776da9a6145f814647034a309e101f7b5dac Mon Sep 17 00:00:00 2001
From: Julien Signoles <signoles@ns61143.ovh.net>
Date: Thu, 19 Feb 2015 09:10:55 +0100
Subject: [PATCH] fix ocamldoc error with OCaml 4.02
---
src/plugins/e-acsl/options.ml | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/options.ml b/src/plugins/e-acsl/options.ml
index c0430bcef35..c91ad425df5 100644
--- a/src/plugins/e-acsl/options.ml
+++ b/src/plugins/e-acsl/options.ml
@@ -27,8 +27,9 @@ module P = Plugin.Register
let shortname = "e-acsl"
let help = "Executable ANSI/ISO C Specification Language --- runtime \
assertion checker generator"
- end)
-include P
+ end)
+module PP = P (* [PP] required to avoid an ocamldoc error in OCaml 4.02 *)
+include PP
module Check =
False
--
GitLab