diff --git a/Src/COLIBRI/mbv.pl b/Src/COLIBRI/mbv.pl
index c71dde23aee2cc16e6e5f4f888322fc517be9591..267e5a05d097e43801cd1a747e5569612c298709 100644
--- a/Src/COLIBRI/mbv.pl
+++ b/Src/COLIBRI/mbv.pl
@@ -26,6 +26,7 @@
    and_dir_prop/3,
    and_inv_prop/3.
 
+
 :- export use_prod_bv_congr/0,
           use_prod_bv_ui/0,
 	  use_prod_bvconstr/0,