Add construction of json_arrayt / json_objectt from range

Another attempt to resolve the abiguity error when compiling with g++5

Author: thomasspriggs

src/util/json.h

@@ -16,6 +16,7 @@ Author: Daniel Kroening, [email protected]
 #include <string>
 
 #include "irep.h"
+#include "range.h"
 
 class json_objectt;
 class json_arrayt;
@@ -175,6 +176,12 @@ class json_arrayt:public jsont
   {
   }
 
+  template <typename iteratort>
+  explicit json_arrayt(ranget<iteratort> &&range)
+    : json_arrayt(kindt::J_ARRAY, arrayt{range.begin(), range.end()})
+  {
+  }
+
   void resize(std::size_t size)
   {
     array.resize(size);
@@ -304,6 +311,12 @@ class json_objectt:public jsont
   {
   }
 
+  template <typename iteratort>
+  explicit json_objectt(ranget<iteratort> &&range)
+    : json_objectt(kindt::J_OBJECT, objectt{range.begin(), range.end()})
+  {
+  }
+
   jsont &operator[](const std::string &key)
   {
     return object[key];