fixed a problem in Soot that would cause "duplicate class" errors dep…

…ending on class-loading order
StevenArzt · Jan 18, 2013 · 5c1d5c8 · 5c1d5c8
1 parent 4c2218a
commit 5c1d5c8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/generated/jastadd/soot/JastAddJ/PathPart.java b/generated/jastadd/soot/JastAddJ/PathPart.java
@@ -142,6 +142,8 @@ public CompilationUnit getCompilationUnit() {
           u.setPathName(pathName);
           u.setRelativeName(relativeName);
           u.setFromSource(true);
+
+          program.addCompilationUnit(u);
 
           if(program.options().verbose())
             System.out.println("in " + (System.currentTimeMillis() - startTime) + " ms");