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

fix $VAR

Browse Source
This commit is contained in:
Vítor Santos Costa 2015-11-05 16:53:11 +00:00
parent bd6ffb5d41
commit ac48a263c4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
os/writeterm.c
View File

@ -755,7 +755,8 @@ dollar_var( USES_REGS1 )
Yap_Error( INSTANTIATION_ERROR, ARG2 , "");
}
}
Term tv = Yap_MkApplTerm(LOCAL_FunctorVar, 1, &ARG1);
Term t2 = Yap_unify( MkVarTerm(), ARG1);
Term tv = Yap_MkApplTerm(LOCAL_FunctorVar, 1, &t2);
return Yap_unify(tv, ARG2);
}