summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-10-26 23:30:18 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-10-26 23:30:18 +0000
commitc52dda95a69e02cd62d5ddac6ecf2229fe0c478f (patch)
tree0712d1b09a99c6898b6a7690646dbc6098ce7737 /src
parent5fe9222b36ad49d74c84edb04d6bc4a7d844be01 (diff)
downloadguix-c52dda95a69e02cd62d5ddac6ecf2229fe0c478f.tar.gz
* Bug: check that term is an application.
Diffstat (limited to 'src')
-rwxr-xr-xsrc/libexpr/aterm-helper.pl2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libexpr/aterm-helper.pl b/src/libexpr/aterm-helper.pl
index 568141cb4a..9a1a931a91 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";