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 16d8d6bb6dfd..d38d8e3f4d7a 100644 --- a/src/libutil/aterm.hh +++ b/src/libutil/aterm.hh @@ -74,4 +74,9 @@ ATMatcher & operator >> (ATMatcher & pos, const string & s); ATMatcher & operator >> (ATMatcher & pos, ATermList & out); +/* Throw an exception with an error message containing the given + aterm. */ +Error badTerm(const format & f, ATerm t); + + #endif /* !__ATERM_H */ |