diff --git a/pom.xml b/pom.xml
index 17621e5..e334d7f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -3,7 +3,7 @@
4.0.0
org.soot-oss
heros
- 1.2.4
+ 1.2.5-SNAPSHOT
Heros IFDS/IDE Solver
Heros is a generic implementation of an IFDS/IDE Solver that can be plugged into existing, Java-based
program analysis frameworks. A reference connector exists for the Soot framework.
@@ -149,7 +149,7 @@
gpg2
- BA6398DCF4E2C1B6C5C7BDFC364F80C21BCC61BB
+ 608B93B4AA51A1AF99A5390FF473D6C36D52D306