DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix for Sun javac compile issue 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2124 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
dolby-oss 2007-12-07 01:48:21 +00:00
parent 1293d730f9
commit 99cfde2030
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java
View File

@ -10,8 +10,7 @@
*******************************************************************************/
package com.ibm.wala.logic;
import java.util.Collection;
import java.util.Collections;
import java.util.*;
public class EmptyTheory extends AbstractTheory {
@ -28,7 +27,7 @@ public class EmptyTheory extends AbstractTheory {
}
public IVocabulary getVocabulary() {
return BasicVocabulary.make(Collections.emptySet());
return BasicVocabulary.make(Collections.<IFunction>emptySet());
}
}