From 28e54817ca57d10ad7a3d34b227c3480f818d659 Mon Sep 17 00:00:00 2001
From: Kilyan Le Gallic <kilyan.legallic@cea.fr>
Date: Thu, 2 May 2024 16:46:33 +0200
Subject: [PATCH] [wp] Changed order of built-ins declaration for readability
---
src/plugins/wp/Why3Import.ml | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/plugins/wp/Why3Import.ml b/src/plugins/wp/Why3Import.ml
index cb3e321c85b..b936c201077 100644
--- a/src/plugins/wp/Why3Import.ml
+++ b/src/plugins/wp/Why3Import.ml
@@ -101,12 +101,12 @@ type lenv = C.logic_info W.Term.Hls.t
type tvars = C.logic_type W.Ty.Mtv.t
-let populate_tenv_builtin (tenv:tenv) =
- let integer = C.Linteger in
- let bool = C.{ lt_name=Utf8_logic.boolean; lt_params=[]; lt_def=None; lt_attr=[] } in
- let real = C.Lreal in
- let list = C.{ lt_name="\\list"; lt_params=[]; lt_def=None; lt_attr=[]} in
- let set = C.{ lt_name = "set"; lt_params=["elem"]; lt_def=None; lt_attr=[] } in
+let _populate_tenv_builtin (tenv:tenv) =
+ let _integer = C.Linteger in
+ let _real = C.Lreal in
+ let _bool = C.{ lt_name=Utf8_logic.boolean; lt_params=[]; lt_def=None; lt_attr=[] } in
+ let _list = C.{ lt_name="\\list"; lt_params=[]; lt_def=None; lt_attr=[]} in
+ let _set = C.{ lt_name = "set"; lt_params=["elem"]; lt_def=None; lt_attr=[] } in
tenv
(* -------------------------------------------------------------------------- *)
--
GitLab