From 4e2cb80ad897b5dcae2ad5197f6e8525cb80fa27 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 2 May 2022 17:28:41 +0200
Subject: [PATCH] [wp] Export a module

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

diff --git a/src/plugins/wp/wp.ml b/src/plugins/wp/wp.ml
index d7f718fc2f9..c4989796e7b 100644
--- a/src/plugins/wp/wp.ml
+++ b/src/plugins/wp/wp.ml
@@ -66,7 +66,7 @@ module VC = VC
 module Wpo = Wpo
 module ProverTask = ProverTask
 module Prover = Prover
-
+module AssignsCompleteness = AssignsCompleteness
 
 (** For gui *)
 module ProofEngine = ProofEngine
-- 
GitLab