diff include/urweb/urweb_cpp.h @ 2056:a9159911c3ba

New phase: Dbmodecheck
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Aug 2014 13:07:56 -0400
parents ced78ef1c82f
children 1839df6ed755 ef766ef6e242
line wrap: on
line diff
--- a/include/urweb/urweb_cpp.h	Sun Aug 10 13:40:53 2014 -0400
+++ b/include/urweb/urweb_cpp.h	Sun Aug 17 13:07:56 2014 -0400
@@ -90,6 +90,7 @@
 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);