From 703661dcfcf96e23acedf7c2a6d36cda3fb68bc6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 26 Jan 2010 14:59:19 -0500 Subject: Handling errors during commit --- include/urweb.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'include') diff --git a/include/urweb.h b/include/urweb.h index b62adce1..3a2d2baf 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -42,7 +42,8 @@ int uw_rollback(uw_context); __attribute__((noreturn)) void uw_error(uw_context, failure_kind, const char *fmt, ...); char *uw_error_message(uw_context); -void uw_set_error_message(uw_context, const char *); +void uw_set_error_message(uw_context, const char *fmt, ...); +int uw_has_error(uw_context); void uw_push_cleanup(uw_context, void (*func)(void *), void *arg); void uw_pop_cleanup(uw_context); -- cgit v1.2.3