Undoing accidental commit.
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4453 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
d7544c111f
commit
eb1f59407d
|
@ -73,7 +73,7 @@ public abstract class TestForInBodyExtraction {
|
||||||
" dest[p] = src[p];" +
|
" dest[p] = src[p];" +
|
||||||
" })(p);" +
|
" })(p);" +
|
||||||
" }" +
|
" }" +
|
||||||
"}");
|
"}");
|
||||||
}
|
}
|
||||||
|
|
||||||
// example from the paper, but with single-statement loop body
|
// example from the paper, but with single-statement loop body
|
||||||
|
|
Loading…
Reference in New Issue