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

[wp] remove unexisting module in API

parent b3b61cc6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
src/plugins/wp/wp.ml
+ 0
− 1
View file @ 689a9b49
...@@ -77,7 +77,6 @@ module ProverSearch = ProverSearch ...@@ -77,7 +77,6 @@ module ProverSearch = ProverSearch
module WpRTE = WpRTE module WpRTE = WpRTE
module Rformat = Rformat module Rformat = Rformat
module WpContext = WpContext module WpContext = WpContext
module WpStrategy = WpStrategy
module Why3Provers = Why3Provers module Why3Provers = Why3Provers
module ProverWhy3 = ProverWhy3 module ProverWhy3 = ProverWhy3
module Cache = Cache module Cache = Cache
......
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