From 004aab09629c2bb54b31ea86fddae1b288df27b2 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 31 May 2009 13:43:02 -0400 Subject: Fix pathmap bug; expose lower-level heap manipulation from C --- include/urweb.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'include') diff --git a/include/urweb.h b/include/urweb.h index 73f06da7..a286f9c8 100644 --- a/include/urweb.h +++ b/include/urweb.h @@ -196,4 +196,8 @@ __attribute__((noreturn)) void uw_return_blob(uw_context, uw_Basis_blob, uw_Basi void uw_register_transactional(uw_context, void *data, uw_callback commit, uw_callback rollback, uw_callback free); +void uw_check_heap(uw_context, size_t extra); +char *uw_heap_front(uw_context); +void uw_set_heap_front(uw_context, char*); + #endif -- cgit v1.2.3