casts vs gcc
This commit is contained in:
parent
2038dd42b6
commit
f5e560366c
@ -392,10 +392,6 @@ YAPTerm::YAPTerm(void *ptr) {
|
||||
mk(MkIntegerTerm((Int)ptr));
|
||||
}
|
||||
|
||||
YAPTerm::YAPTerm(intptr_t i) {
|
||||
CACHE_REGS Term tn = MkIntegerTerm(i);
|
||||
mk(tn);
|
||||
}
|
||||
|
||||
YAPTerm YAPListTerm::car() {
|
||||
Term to = gt();
|
||||
|
@ -28,7 +28,7 @@ public:
|
||||
/// YAPTerm
|
||||
// do nothing constructor
|
||||
YAPTerm() { t = 0; }
|
||||
YAPTerm(intptr_t i);
|
||||
YAPTerm(yhandle_t i) { t= i; };
|
||||
/// pointer to term
|
||||
YAPTerm(void *ptr);
|
||||
/// parse string s and construct a term.
|
||||
|
Reference in New Issue
Block a user