diff --git a/ql/ql/src/experimental/RA.qll b/ql/ql/src/experimental/RA.qll index bd4822c0167..c57517e104a 100644 --- a/ql/ql/src/experimental/RA.qll +++ b/ql/ql/src/experimental/RA.qll @@ -1,14 +1,16 @@ /** * Parses RA expressions. */ -signature class RAstring extends string; +/** + * A predicate that contains RA. + */ signature class RApredicate { string getLineOfRA(int n); } /** - * Parses strings of RA provided by an RA predicate, + * Parses strings of RA provided by an RA predicate, and represented the */ module RAParser { private string parseRaExpr(Predicate p, int line, int arity, int lhs) {