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 | a9f87e669faf36223c24f98f945616ab05aab8d5 (patch) | |
tree | 1779915b8b421011dba936447d059ac932cb30b7 /src/c | |
parent | 5b7e350bbb440255b866a14d59b69f9d8e411f36 (diff) |
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
Diffstat (limited to 'src/c')
-rw-r--r-- | src/c/urweb.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c index e63b2060..6e8c64de 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -3375,3 +3375,9 @@ void uw_check_deadline(uw_context ctx) { } size_t uw_database_max = SIZE_MAX; + +uw_Basis_unit uw_Basis_debug(uw_context ctx, uw_Basis_string s) { + fprintf(stderr, "%s\n", s); + + return uw_unit_v; +} |