diff include/urweb.h @ 1120:74f2eb3b0606

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
line wrap: on
line diff
--- a/include/urweb.h	Tue Jan 05 15:53:35 2010 -0500
+++ b/include/urweb.h	Thu Jan 07 14:02:58 2010 -0500
@@ -270,4 +270,6 @@
 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