diff --git a/com.ibm.wala.core/dat/dictionary.txt b/com.ibm.wala.core/dat/dictionary.txt index b60e4abb6..4daf52d34 100644 --- a/com.ibm.wala.core/dat/dictionary.txt +++ b/com.ibm.wala.core/dat/dictionary.txt @@ -171,3 +171,6 @@ canonize unflattened arraycopy validator +polymorphic +monomorphic +skolem