From e230d565f1f0604eee2c964dab5374d07c24ed6d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 17 Aug 2014 13:07:56 -0400 Subject: New phase: Dbmodecheck --- include/urweb/urweb_cpp.h | 1 + 1 file changed, 1 insertion(+) (limited to 'include') diff --git a/include/urweb/urweb_cpp.h b/include/urweb/urweb_cpp.h index 72997a12..d83b2cbb 100644 --- a/include/urweb/urweb_cpp.h +++ b/include/urweb/urweb_cpp.h @@ -90,6 +90,7 @@ uw_Basis_string uw_Basis_maybe_onunload(struct uw_context *, uw_Basis_string); void uw_set_needs_push(struct uw_context *, int); void uw_set_needs_sig(struct uw_context *, int); void uw_set_could_write_db(struct uw_context *, int); +void uw_set_at_most_one_query(struct uw_context *, int); char *uw_Basis_htmlifyInt(struct uw_context *, uw_Basis_int); char *uw_Basis_htmlifyFloat(struct uw_context *, uw_Basis_float); -- cgit v1.2.3