[dconf-editor] Oops, bad contract.

[Arnaud Bonatti <arnaudb src gnome org>]

commit edf0f9c31a7b0f7bd42c1641aad1b2c72cb8cb4f
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Thu Dec 3 17:38:36 2015 +0100

    Oops, bad contract.

 editor/key-list-box-row.vala |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/editor/key-list-box-row.vala b/editor/key-list-box-row.vala
index 7288370..ce44641 100644
--- a/editor/key-list-box-row.vala
+++ b/editor/key-list-box-row.vala
@@ -333,7 +333,7 @@ private class ContextPopover : Popover
     }
 
     private void finalize_menu ()
-        ensures (!menu.is_mutable ())   // should just "return;" then if function is made public
+        requires (!menu.is_mutable ())  // should just "return;" then if function is made public
     {
         current_section.freeze ();
         menu.freeze ();