huzzah for commas

dada-lang · Feb 1, 2025 · bdc94f9 · bdc94f9
1 parent 73f5887
commit bdc94f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/type_system/red_terms.rs b/src/type_system/red_terms.rs
@@ -63,7 +63,7 @@ cast_impl!(RedTy::NamedTy(NamedTy));
 /// |         | `move`       | `copy`                          |
 /// |---------|--------------|---------------------------------|
 /// | `owned` | `my`         | `our`                           |
-/// | `lent`  | `leased[..]` | `shared[..]` / `our leased[..]` |
+/// | `lent`  | `leased[..]` | `shared[..]`,  `our leased[..]` |
 ///
 /// All red perms represent something in this matrix (modulo generics).
 #[derive(Clone, Debug, Default, PartialOrd, Ord, PartialEq, Eq, Hash)]