make more more less diff in JsxDOM

mununki · mununki · commit ba72b70f4e6e · 2022-10-01T14:12:50.000+09:00
diff --git a/jscomp/others/jsxDOM.ml b/jscomp/others/jsxDOM.ml
@@ -270,8 +270,8 @@ type domProps = {
   [@ns.optional];
   list: string
   [@ns.optional];
-  (* loading: [`_lazy | `eager]
-  [@ns.optional]; *)
+  loading: [`_lazy | `eager]
+  [@ns.optional];
   loop: bool
   [@ns.optional];
   low: int
