This commit is contained in:
Vitor Santos Costa 2016-09-22 10:31:33 -05:00
parent 02dabe8e3a
commit 09b7a5cbf9

View File

@ -68,7 +68,7 @@ public:
/// goal, say `main`, `init`, `live`. /// goal, say `main`, `init`, `live`.
inline YAPQuery(YAPAtom g) : YAPPredicate( g ) { inline YAPQuery(YAPAtom g) : YAPPredicate( g ) {
goal = YAPAtomTerm( g ); goal = YAPAtomTerm( g );
vnames = YAPListTerm(names); vnames = YAPListTerm();
openQuery(); openQuery();
}; };