Update classres_1_1Ok.js

GregoryKogan · Dec 25, 2023 · c0c0f7d · c0c0f7d
1 parent 8dee85a
commit c0c0f7d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/classres_1_1Ok.js b/classres_1_1Ok.js
@@ -1,7 +1,8 @@
 var classres_1_1Ok =
 [
+
     [ "Ok", "classres_1_1Ok.html#aa4d6e6dacbe21d4e291efc3c08e0045b", null ],
     [ "Ok", "classres_1_1Ok.html#a0a321d009597a5284ca1c90125fb9ed2", null ],
     [ "Ok", "classres_1_1Ok.html#a166c9acb93b64c27c7fafe112b604a15", null ],
     [ "operator Result< T, E >", "classres_1_1Ok.html#af1ef17effc3000b44c0b2fb42be0abbc", null ]
-];
+];