1 files changed, 13 insertions, 0 deletions

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameConverter.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameConverter.java
new file mode 100644
index 00000000..ebb7e7b4
--- /dev/null
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language/src/main/java/org/eclipse/viatra/solver/language/naming/ProblemQualifiedNameConverter.java
@@ -0,0 +1,13 @@
+package org.eclipse.viatra.solver.language.naming;
+
+import org.eclipse.xtext.naming.IQualifiedNameConverter;
+
+import com.google.inject.Singleton;
+
+@Singleton
+public class ProblemQualifiedNameConverter extends IQualifiedNameConverter.DefaultImpl {
+        @Override
+        public String getDelimiter() {
+                return "::";
+        }
+}