diff include/urweb.h @ 288:4260ad920c36

Converting string to int
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 11:33:13 -0400
parents ffe5b01908ae
children 0cc956a3216f
line wrap: on
line diff
--- a/include/urweb.h	Sun Sep 07 10:52:51 2008 -0400
+++ b/include/urweb.h	Sun Sep 07 11:33:13 2008 -0400
@@ -77,3 +77,5 @@
 lw_Basis_string lw_Basis_intToString(lw_context, lw_Basis_int);
 lw_Basis_string lw_Basis_floatToString(lw_context, lw_Basis_float);
 lw_Basis_string lw_Basis_boolToString(lw_context, lw_Basis_bool);
+
+lw_Basis_int *lw_Basis_stringToInt(lw_context, lw_Basis_string);