]> mj.ucw.cz Git - libucw.git/blobdiff - ucw/res-subpool.c
Configure: Turned off -fgnu89-inline
[libucw.git] / ucw / res-subpool.c
index 5b4271308b31e288e75a55c2a4b14b302ce38e2d..85cbcce9f4d17de83d885bc973baadb3332beb4e 100644 (file)
@@ -7,8 +7,8 @@
  *     of the GNU Lesser General Public License.
  */
 
-#include "ucw/lib.h"
-#include "ucw/respool.h"
+#include <ucw/lib.h>
+#include <ucw/resource.h>
 
 #include <stdio.h>
 
@@ -46,7 +46,6 @@ res_subpool(struct respool *rp)
 {
   ASSERT(!rp->subpool_of);
   struct resource *r = res_new(&subpool_res_class, rp);
-  ASSERT(r);
   ASSERT(r->rpool != rp);              // Avoid simple loops
   rp->subpool_of = r;
   return r;