diff options
Diffstat (limited to 'src/libutil/aterm.hh')
| -rw-r--r-- | src/libutil/aterm.hh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/libutil/aterm.hh b/src/libutil/aterm.hh index 883d20c63ad1..22364ba0118f 100644 --- a/src/libutil/aterm.hh +++ b/src/libutil/aterm.hh @@ -41,4 +41,9 @@ public: Error badTerm(const format & f, ATerm t); +/* Convert strings to ATerms. */ +ATerm toATerm(const char * s); +ATerm toATerm(const string & s); + + #endif /* !__ATERM_H */ |