diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-10-26T23·30+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-10-26T23·30+0000 |
| commit | c52dda95a69e02cd62d5ddac6ecf2229fe0c478f (patch) | |
| tree | 0712d1b09a99c6898b6a7690646dbc6098ce7737 /src/libexpr/aterm-helper.pl | |
| parent | 5fe9222b36ad49d74c84edb04d6bc4a7d844be01 (diff) | |
* Bug: check that term is an application.
Diffstat (limited to 'src/libexpr/aterm-helper.pl')
| -rwxr-xr-x | src/libexpr/aterm-helper.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libexpr/aterm-helper.pl b/src/libexpr/aterm-helper.pl index 568141cb4ac2..9a1a931a91b6 100755 --- a/src/libexpr/aterm-helper.pl +++ b/src/libexpr/aterm-helper.pl @@ -66,7 +66,7 @@ while (<STDIN>) { print HEADER "#ifdef __cplusplus\n"; print HEADER "static inline bool match$funname(ATerm e$formals2) {\n"; - print HEADER " if (ATgetAFun(e) != sym$funname) return false;\n"; + print HEADER " if (ATgetType(e) != AT_APPL || ATgetAFun(e) != sym$funname) return false;\n"; print HEADER "$unpack"; print HEADER " return true;\n"; print HEADER "}\n"; |