X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=common.h;fp=common.h;h=01426a4d66bee75772507710221b3a99a02c49f0;hp=81af78644ac0401a92c61ba20d82fa3711e0f401;hb=b5023b7d3f469a1ccece72d2c2ee4b8c0496e96f;hpb=827e70acafdfd05e339e6d17fd43594c398fe200

diff --git a/common.h b/common.h
index 81af7864..01426a4d 100644
--- a/common.h
+++ b/common.h
@@ -32,7 +32,7 @@ void assert_hook(void);
 			fprintf(stderr, "Error: assertion failed in %s at line %d\n", __FILE__, __LINE__); \
 			/* print_trace(); // Trace printing may cause dynamic memory allocation */ \
 			assert_hook();                           \
-			exit(EXIT_FAILURE); \
+			_Exit(EXIT_FAILURE); \
 		} \
 	} while (0)
 #else