Update user_single.ml

Co-authored-by: Hannes Mehnert <[email protected]>
robur-coop · Oct 2, 2024 · 11d2200 · 11d2200
1 parent 1f89d7d
commit 11d2200
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/user_single.ml b/user_single.ml
@@ -270,7 +270,7 @@ let user_single_layout (user : User_model.user) unikernels policy current_time =
                                                     text-primary-600 uppercase";
                                                  ];
                                              ]
-                                           [ txt "Allowed VMs" ];
+                                           [ txt "Allowed unikernels" ];
                                          th
                                            ~a:
                                              [