[dconf-editor] Oops, bad contract.
- From: Arnaud Bonatti <arnaudb src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [dconf-editor] Oops, bad contract.
- Date: Thu, 3 Dec 2015 16:38:48 +0000 (UTC)
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 ();
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]