From 0d21c8247e513a50fe00fc6dd1a242db9c1a0aa5 Mon Sep 17 00:00:00 2001
From: Wojciech Stark <66268167+wgst@users.noreply.github.com>
Date: Mon, 30 Sep 2024 18:36:16 +0200
Subject: [PATCH] Fix model loading for vector totaldegree

---
 src/json_interface.jl | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/json_interface.jl b/src/json_interface.jl
index 0e2a6d99..f48d2bb1 100644
--- a/src/json_interface.jl
+++ b/src/json_interface.jl
@@ -24,7 +24,15 @@ function _sanitize_arg(arg)
 end
 
 function _sanitize_dict(dict)
-   return Dict(Symbol(key) => _sanitize_arg(dict[key]) for key in keys(dict))
+   d = Dict()
+   for key in keys(dict)
+      if key == "totaldegree"
+         d[Symbol(key)] = Int64.(dict[key])
+      else
+         d[Symbol(key)] = _sanitize_arg(dict[key])
+      end
+   end
+   return d
 end
 
 ##