Merge pull request #4922 from karkhaz/kk-json-import-fix

Fix #include order in util/json.cpp

Author: karkhaz

src/util/json.cpp

@@ -8,8 +8,8 @@ Author: Daniel Kroening, [email protected]
 
 #include "json.h"
 
-#include <ostream>
 #include <algorithm>
+#include <ostream>
 
 const jsont jsont::null_json_object(jsont::kindt::J_NULL);