diff options
Diffstat (limited to 'src/aterm-helper.pl')
| -rwxr-xr-x | src/aterm-helper.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aterm-helper.pl b/src/aterm-helper.pl index 5666244ae2b6..1feff0ccd098 100755 --- a/src/aterm-helper.pl +++ b/src/aterm-helper.pl @@ -111,7 +111,7 @@ while (<STDIN>) { print HEADER "#ifdef __cplusplus\n"; print HEADER "static inline bool match$funname(ATerm e$formals2) {\n"; - print HEADER " if (ATgetType(e) != AT_APPL || ATgetAFun(e) != sym$funname) return false;\n"; + print HEADER " if (ATgetType(e) != AT_APPL || (AFun) ATgetAFun(e) != sym$funname) return false;\n"; print HEADER "$unpack"; print HEADER " return true;\n"; print HEADER "}\n"; |