summaryrefslogtreecommitdiff
path: root/src/c
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
commita9f87e669faf36223c24f98f945616ab05aab8d5 (patch)
tree1779915b8b421011dba936447d059ac932cb30b7 /src/c
parent5b7e350bbb440255b866a14d59b69f9d8e411f36 (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.c6
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;
+}