diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-11-03 18:12:03 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-11-03 18:12:03 +0000 |
| commit | cb7ccb528bbaeb30d09fbb41e57ab75d3121e1bc (patch) | |
| tree | d27270a2b3c6abc86f56956d906899374778f028 /src/aterm-helper.pl | |
| parent | 4cbd845aa491b5cf534f8c031d285fc454933868 (diff) | |
* string2ATerm -> overloaded toATerm.
Diffstat (limited to 'src/aterm-helper.pl')
| -rwxr-xr-x | src/aterm-helper.pl | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/aterm-helper.pl b/src/aterm-helper.pl index 917b50852..376691c9a 100755 --- a/src/aterm-helper.pl +++ b/src/aterm-helper.pl @@ -130,10 +130,6 @@ while (<STDIN>) { print HEADER "void $initFun();\n\n"; -print HEADER "static inline ATerm string2ATerm(const char * s) {\n"; -print HEADER " return (ATerm) ATmakeAppl0(ATmakeAFun((char *) s, 0, ATtrue));\n"; -print HEADER "}\n\n"; - print HEADER "static inline const char * aterm2String(ATerm t) {\n"; print HEADER " return (const char *) ATgetName(ATgetAFun(t));\n"; print HEADER "}\n\n"; |