Fix test

UnitTestBot · Sep 29, 2023 · 85309a9 · 85309a9
1 parent b973c6d
commit 85309a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 */