diff --git a/src/plugins/wp/Changelog b/src/plugins/wp/Changelog
index 7f362c7148689ecbbdda1696585c2a3fd53b0e65..5a34b53a2bd004c52b6a545a64312cde2f2310dd 100644
--- a/src/plugins/wp/Changelog
+++ b/src/plugins/wp/Changelog
@@ -24,6 +24,9 @@
 Plugin WP <next-release>
 #########################
 
+- WP          [2020-XX-XX] New experimental option: -wp-check-model-hypotheses
+                           Generates requires in contracts for model hypotheses
+- WP          [2020-XX-XX] Hypotheses: assigned memory locations
 - WP          [2020-07-06] Removed debug keys "no-xxx-info" (subsumed by "shell")
 - WP          [2020-07-06] Option -wp-cache-env now defaults to false
 - WP          [2020-07-06] New option -wp-cache-print
diff --git a/src/plugins/wp/register.ml b/src/plugins/wp/register.ml
index c197451cd4cfd3177b1d82dd0fef15c85ad0fb1d..ca36e3b36583fed2054b490d8ff95da0a8f8f548 100644
--- a/src/plugins/wp/register.ml
+++ b/src/plugins/wp/register.ml
@@ -127,7 +127,6 @@ let wp_insert_memory_context model =
       end
   end
 
-
 (* ------------------------------------------------------------------------ *)
 (* ---  Printing informations                                           --- *)
 (* ------------------------------------------------------------------------ *)