Update util.py

If the parameter is a float **or an int** assign the parameter value. Otherwise parse it.
gyorilab · Oct 1, 2024 · b5dee31 · b5dee31
1 parent 7a9b2e4
commit b5dee31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mira/sources/util.py b/mira/sources/util.py
@@ -186,7 +186,7 @@ def parameter_to_mira(parameter, param_symbols=None) -> Parameter:
  # We need to check for symbolic expressions in parameters
  processed_distr_parameters = {}
  for param_key, param_value in distr_json.get("parameters", {}).items():
- if isinstance(param_value, float):
+ if isinstance(param_value, float) or isinstance(param_value, int):
  processed_distr_parameters[param_key] = param_value
  else:
  processed_distr_parameters[param_key] = \