1 files changed, 1 insertions, 1 deletions

diff --git a/language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameConverter.java b/language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameConverter.java
index 3cee31f3..e55e5dda 100644
--- a/language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameConverter.java
+++ b/language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameConverter.java
@@ -6,7 +6,7 @@ import com.google.inject.Singleton;
 
 @Singleton
 public class ProblemQualifiedNameConverter extends IQualifiedNameConverter.DefaultImpl {
-        public static final String DELIMITER = ":";
+        public static final String DELIMITER = "::";
         
         @Override
         public String getDelimiter() {