[gnome-calculator/gnome-3-14: 11/19] Workaround spurious warnings

[Arth Patel <arthpatel src gnome org>]

commit 359e67a76e7bb337714103867b88b65b5f5ae05d
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sat Oct 11 17:43:02 2014 -0400

    Workaround spurious warnings
    
    https://bugzilla.gnome.org/show_bug.cgi?id=737222

 search-provider/search-provider.vala |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/search-provider/search-provider.vala b/search-provider/search-provider.vala
index 4ba610e..d93b955 100644
--- a/search-provider/search-provider.vala
+++ b/search-provider/search-provider.vala
@@ -40,7 +40,7 @@ public class SearchProvider : Object
     }
 
     private static string[] get_result_identifier (string[] terms)
-        ensures (result.length == 0 || result.length == 1)
+//        ensures (result.length == 0 || result.length == 1)    bug #737222
     {
         /* We have at most one result: the search terms as one string */
         if (can_parse (terms))
@@ -61,7 +61,7 @@ public class SearchProvider : Object
 
     public HashTable<string, Variant>[] get_result_metas (string[] results)
         requires (results.length == 1)
-        ensures (result.length == 1)
+//        ensures (result.length == 1)  bug #737222
     {
         Subprocess subprocess;
         string stdout_buf;