projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
changes.
[IRC.git]
/
Robust
/
src
/
Analysis
/
SSJava
/
SSJavaAnalysis.java
diff --git
a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
index 80f678d53b551f8b2aebde08425e925c23b84d02..cc623cc6eee6f930d7f0b37f30c36a3d3b940678 100644
(file)
--- a/
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
+++ b/
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
@@
-189,7
+189,7
@@
public class SSJavaAnalysis {
}
private void inference() {
- LocationInference inferEngine = new LocationInference(this, state);
+ LocationInference inferEngine = new LocationInference(this, state
, tu
);
inferEngine.inference();
}