[PSym] Minor

p-org · Oct 7, 2023 · 49f65d1 · 49f65d1
1 parent 95ee194
commit 49f65d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Src/PRuntimes/PSymRuntime/src/main/java/psym/valuesummary/MapVS.java b/Src/PRuntimes/PSymRuntime/src/main/java/psym/valuesummary/MapVS.java
@@ -390,7 +390,7 @@ public int computeConcreteHash() {
   public Map<K, Object> computeConcreteValue() {
     Map<K, Object> value = new HashMap<>();
     for (Map.Entry<K, V> entry : this.entries.entrySet()) {
-      value.put(entry.getKey(), entry.getValue().computeConcreteValue());
+      value.put(entry.getKey(), entry.getValue() == null ? null : entry.getValue().getConcreteValue());
     }
     return value;
   }