# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1638289683 -3600
# Node ID 358a678e5bdf3dcefd46ba0a47415ce2e3c84fb0
# Parent  e3dddf65fa8887d952771012744badad80f1e0f7
core (memory/param): don't crash when getting unset int value

diff -r e3dddf65fa88 -r 358a678e5bdf sat/memory/params.py
--- a/sat/memory/params.py	Tue Nov 30 17:27:26 2021 +0100
+++ b/sat/memory/params.py	Tue Nov 30 17:28:03 2021 +0100
@@ -415,7 +415,7 @@
             if node.getAttribute("type") == "bool":
                 return C.bool(value_to_use)
             if node.getAttribute("type") == "int":
-                return int(value_to_use)
+                return int(value_to_use) if value_to_use else value_to_use
             elif node.getAttribute("type") == "list":
                 if (
                     not value_to_use