diff --git a/src/de/dhbwstuttgart/bytecode/ClassFile.java b/src/de/dhbwstuttgart/bytecode/ClassFile.java index d5165110..9fc2cd91 100755 --- a/src/de/dhbwstuttgart/bytecode/ClassFile.java +++ b/src/de/dhbwstuttgart/bytecode/ClassFile.java @@ -744,7 +744,8 @@ public class ClassFile // Datei vorbereiten //File file = new File(MyCompiler.getAPI().getOutputDir() - File file = new File ("/Users/pl/forschung/PIZZA+/JVM_Generics/Testfiles/" + File file = new File ("/Users/pl/ResearchPapers/PIZZA+/Intersection_Types/" + //File file = new File ("/Users/pl/ResearchPapers/PIZZA+/JVM_Generics/Testfiles/" + class_name + ".class"); FileOutputStream f = new FileOutputStream(file);