diff src/c/urweb.c @ 745:ee2feab275db

blobSize
author Adam Chlipala <adamc@hcoop.net>
date Sun, 26 Apr 2009 11:07:25 -0400
parents 43553c93dd8c
children 8ce31c052dce
line wrap: on
line diff
--- a/src/c/urweb.c	Sun Apr 26 10:54:45 2009 -0400
+++ b/src/c/urweb.c	Sun Apr 26 11:07:25 2009 -0400
@@ -2183,6 +2183,10 @@
   return f.type;
 }
 
+uw_Basis_int uw_Basis_blobSize(uw_context ctx, uw_Basis_blob b) {
+  return b.size;
+}
+
 uw_Basis_blob uw_Basis_fileData(uw_context ctx, uw_Basis_file f) {
   return f.data;
 }