diff options
Diffstat (limited to 'src/expr/sequence.h')
-rw-r--r-- | src/expr/sequence.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/sequence.h b/src/expr/sequence.h index 0e5cf6a1d..763534274 100644 --- a/src/expr/sequence.h +++ b/src/expr/sequence.h @@ -130,7 +130,7 @@ class Sequence */ size_t roverlap(const Sequence& y) const; - /** get type */ + /** get the element type of the sequence */ TypeNode getType() const { return d_type; } /** get the internal Node representation of this sequence */ const std::vector<Node>& getVec() const { return d_seq; } |