diff include/urweb.h @ 1556:e1f5d9c4cc20

An abstract type of IDs
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Sep 2011 12:51:05 -0400
parents 3c0803c1acd7
children f403e129c276
line wrap: on
line diff
--- a/include/urweb.h	Sat Sep 03 11:48:12 2011 -0400
+++ b/include/urweb.h	Sat Sep 03 12:51:05 2011 -0400
@@ -346,4 +346,6 @@
 
 void uw_cutErrorLocation(char *);
 
+uw_Basis_string uw_Basis_fresh(uw_context);
+
 #endif