chore: spoon-dataflow depends on latest spoon-core (#3350)

INRIA · Jul 17, 2020 · 939318c · 939318c
1 parent 21eb9a6
commit 939318c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/spoon-dataflow/build.gradle b/spoon-dataflow/build.gradle
@@ -18,7 +18,7 @@ repositories {
 }
 
 dependencies {
-    compile group: 'fr.inria.gforge.spoon', name: 'spoon-core', version: '7.6.0'
+    compile group: 'fr.inria.gforge.spoon', name: 'spoon-core', version: '+'
     compile group: 'commons-cli', name: 'commons-cli', version: '1.4'
     compile group: 'com.microsoft', name: 'z3', version: '4.8.4'
     testCompile group: 'junit', name: 'junit', version: '4.13'

diff --git a/spoon-dataflow/src/main/java/fr/inria/spoon/dataflow/misc/FlagReference.java b/spoon-dataflow/src/main/java/fr/inria/spoon/dataflow/misc/FlagReference.java
@@ -22,22 +22,22 @@ public static void resetCounter()
 
     public static FlagReference makeFreshReturnReference()
     {
-        return new FlagReference("#NORETURN_FLAG_" + counter++);
+        return new FlagReference("NORETURN_FLAG_" + counter++);
     }
 
     public static FlagReference makeFreshBreakReference()
     {
-        return new FlagReference("#BREAK_FLAG_" + counter++);
+        return new FlagReference("BREAK_FLAG_" + counter++);
     }
 
     public static FlagReference makeFreshContinueReference()
     {
-        return new FlagReference("#CONTINUE_FLAG_" + counter++);
+        return new FlagReference("CONTINUE_FLAG_" + counter++);
     }
 
     public static FlagReference makeFreshThrowReference()
     {
-        return new FlagReference("#THROW_FLAG_" + counter++);
+        return new FlagReference("THROW_FLAG_" + counter++);
     }