Fix makefiles for compilation in a different directory.

[eval.git] / judge / judge.h

diff --git a/judge/judge.h b/judge/judge.h
index 3ac8e4cf24b42eccb88ca700207d05f46b2f237d..8ba6adb1d89c86fbcc3af57467ee617609e5eea6 100644 (file)
--- a/judge/judge.h
+++ b/judge/judge.h
@@ -16,7 +16,7 @@
 
 /* utils.c: Utility functions */
 
-void die(char *msg, ...) NONRET;
+void die(char *msg, ...) NONRET;               /* Dies with exit code 2 (judge error) */
 void *xmalloc(size_t size);
 void *xrealloc(void *p, size_t size);