diff --git a/H/TermExt.h b/H/TermExt.h old mode 100644 new mode 100755 index ec8c08dd4..a53fcaec1 --- a/H/TermExt.h +++ b/H/TermExt.h @@ -271,6 +271,9 @@ FloatOfTerm (Term t) #else /* OOPS, YAP only understands Floats that are as large as cells or that take two cells!!! */ + +OOPS + #endif #endif