minor change to demand points-to interface

[wala.git] / com.ibm.wala.core / plugin.properties

PLUGINNAME=core WALA analysis engine\r
VENDORNAME=IBMproviderName = www.example.org\r
\rpluginName = PatternSet Model\r
# ====================================================================\r
\rproviderName = www.example.org\r
\r