Java CG: fix file name of quote classes

overturetool · Nov 5, 2018 · baa486b · baa486b
1 parent 85d62fa
commit baa486b
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaCodeGen.java b/core/codegen/javagen/src/main/java/org/overture/codegen/vdm2java/JavaCodeGen.java
@@ -693,12 +693,6 @@ public void genJavaSourceFile(File root, GeneratedModule generatedModule)
 				javaFileName = generatedModule.getName();
 			}
 
-
-			if (JavaCodeGenUtil.isQuote(generatedModule.getIrNode(), getJavaSettings()))
-			{
-				javaFileName += JavaQuoteValueCreator.JAVA_QUOTE_NAME_SUFFIX;
-			}
-
 			javaFileName += IJavaConstants.JAVA_FILE_EXTENSION;
 
 			emitCode(moduleOutputDir, javaFileName, generatedModule.getContent());