From c808a23bc8b0e85fdf7ea099639fd7ad2db93813 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 14 Oct 2020 09:34:56 +0200
Subject: [PATCH] [wp] file naming convention for wpTarget
---
headers/header_spec.txt | 4 ++--
src/plugins/wp/Makefile.in | 2 +-
src/plugins/wp/{WpTarget.ml => wpTarget.ml} | 0
src/plugins/wp/{WpTarget.mli => wpTarget.mli} | 0
4 files changed, 3 insertions(+), 3 deletions(-)
rename src/plugins/wp/{WpTarget.ml => wpTarget.ml} (100%)
rename src/plugins/wp/{WpTarget.mli => wpTarget.mli} (100%)
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index cd2456b073a..f36b4c666fe 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1660,8 +1660,6 @@ src/plugins/wp/Why3Provers.mli: CEA_WP
src/plugins/wp/Wp.mli: .ignore
src/plugins/wp/WpTac.ml: CEA_WP
src/plugins/wp/WpTac.mli: CEA_WP
-src/plugins/wp/WpTarget.ml: CEA_WP
-src/plugins/wp/WpTarget.mli: CEA_WP
src/plugins/wp/calculus.ml: CEA_WP
src/plugins/wp/calculus.mli: CEA_WP
src/plugins/wp/cfgDump.ml: CEA_WP
@@ -1822,6 +1820,8 @@ src/plugins/wp/wpRTE.ml: CEA_WP
src/plugins/wp/wpRTE.mli: CEA_WP
src/plugins/wp/wpStrategy.ml: CEA_WP
src/plugins/wp/wpStrategy.mli: CEA_WP
+src/plugins/wp/wpTarget.ml: CEA_WP
+src/plugins/wp/wpTarget.mli: CEA_WP
src/plugins/wp/wp_error.ml: CEA_WP
src/plugins/wp/wp_error.mli: CEA_WP
src/plugins/wp/wp_parameters.ml: CEA_WP
diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in
index f4d84ab492a..5264a1b2cfd 100644
--- a/src/plugins/wp/Makefile.in
+++ b/src/plugins/wp/Makefile.in
@@ -81,7 +81,7 @@ PLUGIN_CMO:= \
Sigma MemLoader \
MemEmpty MemZeroAlias MemVar \
MemMemory MemTyped MemRegion \
- wpReached wpRTE wpAnnot WpTarget \
+ wpReached wpRTE wpAnnot wpTarget \
CfgCompiler StmtSemantics \
VCS script proof wpo wpReport \
Footprint Tactical Strategy \
diff --git a/src/plugins/wp/WpTarget.ml b/src/plugins/wp/wpTarget.ml
similarity index 100%
rename from src/plugins/wp/WpTarget.ml
rename to src/plugins/wp/wpTarget.ml
diff --git a/src/plugins/wp/WpTarget.mli b/src/plugins/wp/wpTarget.mli
similarity index 100%
rename from src/plugins/wp/WpTarget.mli
rename to src/plugins/wp/wpTarget.mli
--
GitLab