diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

make =@= an well known alias to variant.

Browse Source
This commit is contained in:
Vitor Santos Costa 2009-11-23 10:10:14 +00:00
parent 31e5c54125
commit 6852a0c861
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
C/utilpreds.c
View File

@ -2876,6 +2876,7 @@ void Yap_InitUtilCPreds(void)
Yap_InitCPred("term_variables", 2, p_term_variables, 0);
Yap_InitCPred("term_variables", 3, p_term_variables3, 0);
Yap_InitCPred("is_list", 1, p_is_list, SafePredFlag);
Yap_InitCPred("=@=", 2, p_variant, 0);
CurrentModule = TERMS_MODULE;
Yap_InitCPred("variable_in_term", 2, p_var_in_term, SafePredFlag);
Yap_InitCPred("term_hash", 4, p_term_hash, SafePredFlag);