Mercurial > urweb

comparison src/c/urweb.c @ 1120:74f2eb3b0606

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Jan 2010 14:02:58 -0500
parents 951fced704d6
children 0cee0c8d8c37
comparison
equal deleted inserted replaced
1119:951fced704d6 1120:74f2eb3b0606
3373 if (uw_time > ctx->deadline) 3373 if (uw_time > ctx->deadline)
3374 uw_error(ctx, FATAL, "Maximum running time exceeded"); 3374 uw_error(ctx, FATAL, "Maximum running time exceeded");
3375 } 3375 }
3376 3376
3377 size_t uw_database_max = SIZE_MAX; 3377 size_t uw_database_max = SIZE_MAX;
3378
3379 uw_Basis_unit uw_Basis_debug(uw_context ctx, uw_Basis_string s) {
3380 fprintf(stderr, "%s\n", s);
3381
3382 return uw_unit_v;
3383 }