comparison src/c/urweb.c @ 591:8f8771f32909

Injecting a float
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Jan 2009 15:59:02 -0500
parents 3d56940120b1
children 889dc9fceb3a
comparison
equal deleted inserted replaced
590:57f476c934da 591:8f8771f32909
361 361
362 new_script = realloc(ctx->script, next); 362 new_script = realloc(ctx->script, next);
363 ctx->script_front = new_script + (ctx->script_front - ctx->script); 363 ctx->script_front = new_script + (ctx->script_front - ctx->script);
364 ctx->script_back = new_script + next; 364 ctx->script_back = new_script + next;
365 ctx->script = new_script; 365 ctx->script = new_script;
366 printf("new_script = %p\n", new_script);
367 } 366 }
368 } 367 }
369 368
370 void uw_write_script(uw_context ctx, uw_Basis_string s) { 369 void uw_write_script(uw_context ctx, uw_Basis_string s) {
371 int len = strlen(s); 370 int len = strlen(s);