* Allow integer bindings in derivations.

1 files changed, 5 insertions, 1 deletions

diff --git a/src/libutil/aterm.hh b/src/libutil/aterm.hh
index d38d8e3f4..577b784be 100644
--- a/src/libutil/aterm.hh
+++ b/src/libutil/aterm.hh
@@ -61,7 +61,7 @@ ATMatcher & atMatch(ATMatcher & pos, ATerm t);
 /* Get the next argument of an application. */
 ATMatcher & operator >> (ATMatcher & pos, ATerm & out);
 
-/* Get the name of the function symbol of an applicatin, or the next
+/* Get the name of the function symbol of an application, or the next
    argument of an application as a string. */
 ATMatcher & operator >> (ATMatcher & pos, string & out);
 
@@ -70,6 +70,10 @@ ATMatcher & operator >> (ATMatcher & pos, string & out);
 ATMatcher & operator >> (ATMatcher & pos, const string & s);
 
 /* Get the next argument of an application, and verify that it is a
+   integer. */
+ATMatcher & operator >> (ATMatcher & pos, int & n);
+
+/* Get the next argument of an application, and verify that it is a
    list. */
 ATMatcher & operator >> (ATMatcher & pos, ATermList & out);