diff --git a/src/analysis/typepal/ISolver.rsc b/src/analysis/typepal/ISolver.rsc index 2e16d7d..4c99cd6 100644 --- a/src/analysis/typepal/ISolver.rsc +++ b/src/analysis/typepal/ISolver.rsc @@ -50,6 +50,7 @@ data Solver set[Define] (str id, loc scope, set[IdRole] idRoles) getDefinitions, // deprecated set[Define] () getAllDefines, Define(loc) getDefine, + rel[loc,loc] () getUseDef, /* Nested Info */ void(str key, value val) push, value (str key) pop,