From 197d67717d69dcacf68fda05c8bdd19591c51b88 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 7 Jan 2010 14:02:58 -0500 Subject: Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization --- include/urweb.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'include/urweb.h') 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 -- cgit v1.2.3