Skip to content
Snippets Groups Projects
Commit 4e2cb80a authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] Export a module

parent dffe5306
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
src/plugins/wp/wp.ml
+ 1
− 1
View file @ 4e2cb80a
......@@ -66,7 +66,7 @@ module VC = VC
module Wpo = Wpo
module ProverTask = ProverTask
module Prover = Prover
module AssignsCompleteness = AssignsCompleteness
(** For gui *)
module ProofEngine = ProofEngine
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment