git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3058 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-10-16 14:36:28 +00:00
parent b61ad3f13a
commit 10573a3d5f
1 changed files with 1 additions and 0 deletions

View File

@ -174,3 +174,4 @@ validator
polymorphic
monomorphic
skolem
plausibly