diff options
Diffstat (limited to 'src/libutil/aterm.hh')
| -rw-r--r-- | src/libutil/aterm.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libutil/aterm.hh b/src/libutil/aterm.hh index 6a2415f0b7..b1cbc3b6d8 100644 --- a/src/libutil/aterm.hh +++ b/src/libutil/aterm.hh @@ -43,6 +43,7 @@ Error badTerm(const format & f, ATerm t); ATerm toATerm(const char * s); ATerm toATerm(const string & s); +ATermList toATermList(const StringSet & ss); } |