diff src/c/static.c @ 1502:2f9b7382dd1d

First tutorial chapter ready
author Adam Chlipala <adam@chlipala.net>
date Sat, 16 Jul 2011 14:12:14 -0400
parents 8c32c7191bf0
children 2d9f831d45c9
line wrap: on
line diff
--- a/src/c/static.c	Sat Jul 16 11:48:11 2011 -0400
+++ b/src/c/static.c	Sat Jul 16 14:12:14 2011 -0400
@@ -37,6 +37,8 @@
       fprintf(stderr, "Error: %s\n", uw_error_message(ctx));
       return 1;
     }
+
+    uw_reset(ctx);
   }
 }