File tla-1.3.3-uninit.patch of Package tla

--- hackerlab/buffers/buffers.c
+++ hackerlab/buffers/buffers.c
@@ -47,7 +47,7 @@
     return -1;
 
 
-  if (representation_type > 0)
+  if (representation_type_spec > 0)
     {
       representation_type = representation_type_spec;
     }
--- hackerlab/oblists/oblist.c
+++ hackerlab/oblists/oblist.c
@@ -660,6 +660,8 @@
 {
   struct ol_closure * olc;
 
+  olc = (struct ol_closure *)closure;
+
   if (!olc || !olc->type || !olc->type->uninit)
     return;