diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-01-07 14:02:58 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-07 14:02:58 -0500 |
| commit | 197d67717d69dcacf68fda05c8bdd19591c51b88 (patch) | |
| tree | 1779915b8b421011dba936447d059ac932cb30b7 /include | |
| parent | 3232b1f7a6f470ec4eba648093cc854555d6fbdd (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.h | 2 |
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 |