X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/80489f0ab878fa01f87a35988aedff282e5f0ea5..6483a926b0a93de3a67ec1a55ee121aa905542dd:/src/Headers/aliasTable.h

diff --git a/src/Headers/aliasTable.h b/src/Headers/aliasTable.h
index 98249b9..539ab98 100644
--- a/src/Headers/aliasTable.h
+++ b/src/Headers/aliasTable.h
@@ -77,6 +77,14 @@ extern aliasTable aliasTable_levelUnionSeq (/*@returned@*/ aliasTable p_t1,
 /*@constant int aliasTableBASESIZE; @*/
 # define aliasTableBASESIZE MIDBASESIZE
 
+/*
+** For debugging only
+*/
+
+# ifdef DEBUGSPLINT
+extern void aliasTable_checkValid (aliasTable) /*@modifies g_errorstream@*/ ;
+# endif
+
 # else
 # error "Multiple include"
 # endif