From 3cd9c09d5479405a719a92d63a9f38560add7787 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Wed, 23 Sep 2015 16:22:46 +0200
Subject: [PATCH] Fixed empty domains
---
.../leon/codegen/runtime/LeonCodeGenRuntimeHenkinMonitor.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeHenkinMonitor.java b/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeHenkinMonitor.java
index 62e7a7b3b..0be4ad912 100644
--- a/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeHenkinMonitor.java
+++ b/src/main/java/leon/codegen/runtime/LeonCodeGenRuntimeHenkinMonitor.java
@@ -26,7 +26,8 @@ public class LeonCodeGenRuntimeHenkinMonitor extends LeonCodeGenRuntimeMonitor {
}
}
- domain.addAll(domains.get(type));
+ List<Tuple> tpeDomain = domains.get(type);
+ if (tpeDomain != null) domain.addAll(tpeDomain);
return domain;
}
--
GitLab