From f3e5a8f90fa0a3641993edbcb432bf1ff76f5b87 Mon Sep 17 00:00:00 2001
From: Calum Grant <calumgrant@github.com>
Date: Wed, 22 Feb 2023 17:01:07 +0000
Subject: [PATCH] Minor tidy

---
 ql/ql/src/experimental/RA.qll | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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<RApredicate Predicate> {
   private string parseRaExpr(Predicate p, int line, int arity, int lhs) {