From 689a9b49c4276f16b3148024c5b4892b37ab0ac3 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 21 Feb 2022 14:55:20 +0100
Subject: [PATCH] [wp] remove unexisting module in API

---
 src/plugins/wp/wp.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plugins/wp/wp.ml b/src/plugins/wp/wp.ml
index 3e23f8723a3..d7f718fc2f9 100644
--- a/src/plugins/wp/wp.ml
+++ b/src/plugins/wp/wp.ml
@@ -77,7 +77,6 @@ module ProverSearch = ProverSearch
 module WpRTE = WpRTE
 module Rformat = Rformat
 module WpContext = WpContext
-module WpStrategy = WpStrategy
 module Why3Provers = Why3Provers
 module ProverWhy3 = ProverWhy3
 module Cache = Cache
-- 
GitLab