Index: tla-working/src/hackerlab/tests/arrays-tests/unit-ar.c
===================================================================
--- tla-working.orig/src/hackerlab/tests/arrays-tests/unit-ar.c
+++ tla-working/src/hackerlab/tests/arrays-tests/unit-ar.c
@@ -50,7 +50,6 @@ static void
 check_array (size_t size, unsigned long * ar)
 {
   int x;
-  invariant (0 == ((unsigned long)ar & (MACHINE_ALIGNMENT - 1)));
   invariant (size == ar_size ((void *)ar, lim_use_must_malloc, sizeof (*ar)));
   for (x = 0; x < size; ++x)
     invariant (ar[x] == HASH_INDEX (x));