diff --git a/C/attvar.c b/C/attvar.c
index 7229dde5e..9891cd26e 100644
--- a/C/attvar.c
+++ b/C/attvar.c
@@ -202,7 +202,7 @@ PutAtt(attvar_record *attv, Int i, Term tatt) {
   CELL *timestamp = (CELL *)(attv->Atts[pos]);
   if (B->cp_h <= timestamp
 #if defined(SBA) || defined(TABLING)
-      && timestmp <= H
+      && timestamp <= H
 #endif
     ) {
 #if defined(SBA)