diff --git a/test/regression/email_spec0_product16.cil.c b/test/regression/email_spec0_product16.cil.c
index e88766abc6..245b120154 100644
--- a/test/regression/email_spec0_product16.cil.c
+++ b/test/regression/email_spec0_product16.cil.c
@@ -18,8 +18,8 @@
 
 extern void abort(void);
 extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__((__nothrow__, __leaf__)) __attribute__((__noreturn__));
-void reach_error() { __assert_fail("0", "email_spec0_product16.cil.c", 3, "reach_error"); }
 // CHECK: email_spec0_product16.cil.c:[[@LINE+1]]: ASSERTION FAIL: 0
+void reach_error() { __assert_fail("0", "email_spec0_product16.cil.c", 3, "reach_error"); }
 
 extern int __VERIFIER_nondet_int(void);
 /* Generated by CIL v. 1.3.7 */