Skip to content

Commit f3e5a8f

Browse files
committed
Minor tidy
1 parent 9980756 commit f3e5a8f

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

ql/ql/src/experimental/RA.qll

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,16 @@
11
/**
22
* Parses RA expressions.
33
*/
4-
signature class RAstring extends string;
54

5+
/**
6+
* A predicate that contains RA.
7+
*/
68
signature class RApredicate {
79
string getLineOfRA(int n);
810
}
911

1012
/**
11-
* Parses strings of RA provided by an RA predicate,
13+
* Parses strings of RA provided by an RA predicate, and represented the
1214
*/
1315
module RAParser<RApredicate Predicate> {
1416
private string parseRaExpr(Predicate p, int line, int arity, int lhs) {

0 commit comments

Comments
 (0)