From 385eccd38cc915caa6cac78becc2599f580c07a0 Mon Sep 17 00:00:00 2001 From: sjfink Date: Wed, 26 Nov 2008 18:47:51 +0000 Subject: [PATCH] words git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3096 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 --- com.ibm.wala.core/dat/dictionary.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/com.ibm.wala.core/dat/dictionary.txt b/com.ibm.wala.core/dat/dictionary.txt index 9f468f2d0..7a58f453f 100644 --- a/com.ibm.wala.core/dat/dictionary.txt +++ b/com.ibm.wala.core/dat/dictionary.txt @@ -176,3 +176,4 @@ monomorphic skolem plausibly conjoins +micro