fix big int indexing

This commit is contained in:
Ubuntu32
2011-11-01 17:25:59 -07:00
parent 016cd42226
commit 29dc250a66
4 changed files with 7 additions and 3 deletions

View File

@@ -428,6 +428,8 @@ write_functor(Functor f)
Yap_DebugPlWrite(MkAtomTerm(AtomDBREF));
} else if (f == FunctorLongInt) {
Yap_DebugPlWrite(MkAtomTerm(AtomLONGINT));
} else if (f == FunctorBigInt) {
Yap_DebugPlWrite(MkAtomTerm(AtomLONGINT));
} else if (f == FunctorDouble) {
Yap_DebugPlWrite(MkAtomTerm(AtomDOUBLE));
}