Merge pull request #3 from AntanasKal/fix-example-crash

fixing the crash when running examples
Anderssorby · Dec 25, 2023 · 75aa0e3 · 75aa0e3
2 parents 818b862 + 208f362
commit 75aa0e3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bindings/sdl2-shim.c b/bindings/sdl2-shim.c
@@ -347,7 +347,8 @@ lean_obj_res lean_sdl_mk_sdl_rect(uint32_t x, uint32_t y, uint32_t w, uint32_t h
   r->y = y;
   r->w = w;
   r->h = h;
-  return lean_alloc_external(get_sdl_rect_class(), r);
+  lean_object *lean_t  = lean_alloc_external(get_sdl_rect_class(), r);
+  return lean_io_result_mk_ok(lean_t);
 }
 
 /*