projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
add basic parameter handling
[model-checker.git]
/
common.h
diff --git
a/common.h
b/common.h
index 9794a92e8e8ea33a494b2772869b5171afa1bbe8..017cb4f99dd2adba81301d185efb89405cfab79e 100644
(file)
--- a/
common.h
+++ b/
common.h
@@
-26,4
+26,6
@@
do { \
} \
} while (0);
+#define error_msg(...) fprintf(stderr, "Error: " __VA_ARGS__)
+
#endif /* __COMMON_H__ */