publicize a method
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2016 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
8e089b528d
commit
457799ac9a
|
@ -421,7 +421,7 @@ public class Simplifier {
|
||||||
/**
|
/**
|
||||||
* in term t, substitute t2 for free occurrences of t1
|
* in term t, substitute t2 for free occurrences of t1
|
||||||
*/
|
*/
|
||||||
private static ITerm substitute(ITerm t, ITerm t1, ITerm t2, Map<Wildcard, ITerm> binding) {
|
public static ITerm substitute(ITerm t, ITerm t1, ITerm t2, Map<Wildcard, ITerm> binding) {
|
||||||
assert t != null;
|
assert t != null;
|
||||||
assert t1 != null;
|
assert t1 != null;
|
||||||
assert t2 != null;
|
assert t2 != null;
|
||||||
|
|
Loading…
Reference in New Issue