- Corrected an inline definition, propagating it to the header file.

This commit is contained in:
ccremers 2004-07-20 09:47:06 +00:00
parent d74d70218f
commit 837fb4d8e1

View File

@ -28,7 +28,7 @@ Termlist termlistShallow (Termlist tl);
void termlistDelete (Termlist tl); void termlistDelete (Termlist tl);
void termlistDestroy (Termlist tl); void termlistDestroy (Termlist tl);
void termlistPrint (Termlist tl); void termlistPrint (Termlist tl);
int inTermlist (Termlist tl, const Term term); __inline__ int inTermlist (Termlist tl, const Term term);
int isTermlistEqual (Termlist tl1, Termlist tl2); int isTermlistEqual (Termlist tl1, Termlist tl2);
Termlist termlistAdd (Termlist tl, Term term); Termlist termlistAdd (Termlist tl, Term term);
Termlist termlistAppend (const Termlist tl, const Term term); Termlist termlistAppend (const Termlist tl, const Term term);