From 5d9039238c4eb5386623993efa1aa699e468a84b Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 15 Dec 2017 10:51:16 +0100
Subject: [PATCH] allows ocamldoc html generation to succeed
---
src/plugins/e-acsl/mmodel_analysis.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/mmodel_analysis.ml b/src/plugins/e-acsl/mmodel_analysis.ml
index b56436a3c05..4c547d65a94 100644
--- a/src/plugins/e-acsl/mmodel_analysis.ml
+++ b/src/plugins/e-acsl/mmodel_analysis.ml
@@ -710,7 +710,7 @@ and must_model_exp bhv ?kf ?stmt e = match e.enode with
Options.fatal "[pre_analysis] unexpected expression %a" Exp.pretty e
(* ************************************************************************** *)
-(** {Public API} {{{ *)
+(** {1 Public API} *)
(* ************************************************************************** *)
let must_model_vi ?bhv ?kf ?stmt vi =
--
GitLab