turn off debugging
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1548 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
1f72a200df
commit
3e28954000
|
@ -29,7 +29,7 @@ import com.ibm.wala.util.intset.IntPair;
|
|||
*/
|
||||
public class Simplifier {
|
||||
|
||||
private final static boolean DEBUG = true;
|
||||
private final static boolean DEBUG = false;
|
||||
|
||||
/**
|
||||
* Eliminate quantifiers, by substituting every possible constant value for a
|
||||
|
|
Loading…
Reference in New Issue