summaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-01-07 14:02:58 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-01-07 14:02:58 -0500
commit197d67717d69dcacf68fda05c8bdd19591c51b88 (patch)
tree1779915b8b421011dba936447d059ac932cb30b7 /include
parent3232b1f7a6f470ec4eba648093cc854555d6fbdd (diff)
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
Diffstat (limited to 'include')
-rw-r--r--include/urweb.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/include/urweb.h b/include/urweb.h
index 4b5ab273..f9e06cb1 100644
--- a/include/urweb.h
+++ b/include/urweb.h
@@ -270,4 +270,6 @@ extern int uw_time;
void uw_set_deadline(uw_context, int);
void uw_check_deadline(uw_context);
+uw_Basis_unit uw_Basis_debug(uw_context, uw_Basis_string);
+
#endif