1 files changed, 0 insertions, 3 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c
index 47b45367..632dbf1e 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -225,9 +225,6 @@ void lw_write(lw_context ctx, const char* s) {
 }
 
 
-#define INTS_MAX 50
-#define FLOATS_MAX 100
-
 char *lw_Basis_attrifyInt(lw_context ctx, lw_Basis_int n) {
   char *result;
   int len;