[gnome-calculator] search-provider: remove workaround for bug #737222

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 9bdba8ca55b63b70e2f3b5adc0aa8b2d8092f1d0
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sun May 10 17:57:27 2015 -0500

    search-provider: remove workaround for bug #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 eca8d77..4768b0b 100644
--- a/search-provider/search-provider.vala
+++ b/search-provider/search-provider.vala
@@ -57,7 +57,7 @@ public class SearchProvider : Object
     }
 
     private static string[] get_result_identifier (string[] terms)
-//        ensures (result.length == 0 || result.length == 1)    bug #737222
+        ensures (result.length == 0 || result.length == 1)
     {
         /* We have at most one result: the search terms as one string */
         if (can_parse (terms))
@@ -78,7 +78,7 @@ public class SearchProvider : Object
 
     public HashTable<string, Variant>[] get_result_metas (string[] results)
         requires (results.length == 1)
-//        ensures (result.length == 1)  bug #737222
+        ensures (result.length == 1)
     {
         Subprocess subprocess;
         string stdout_buf;