WIN32 patches
This commit is contained in:
5
H/TermExt.h
Normal file → Executable file
5
H/TermExt.h
Normal file → Executable file
@@ -515,7 +515,7 @@ IsAttachedTerm (Term t)
|
||||
return (Int) ((IsVarTerm (t) && IsAttVar(VarOfTerm(t))));
|
||||
}
|
||||
|
||||
inline EXTERN Int IsAttachedTerm (Term);
|
||||
inline EXTERN Int GlobalIsAttachedTerm (Term);
|
||||
|
||||
inline EXTERN Int
|
||||
GlobalIsAttachedTerm (Term t)
|
||||
@@ -523,9 +523,6 @@ GlobalIsAttachedTerm (Term t)
|
||||
return (Int) ((IsVarTerm (t) && GlobalIsAttVar(VarOfTerm(t))));
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
inline EXTERN Int SafeIsAttachedTerm (Term);
|
||||
|
||||
inline EXTERN Int
|
||||
|
||||
Reference in New Issue
Block a user