From bc3a4ceb9a30021ca20c62db06ba0710d8d3d1e1 Mon Sep 17 00:00:00 2001
From: Alexander Iljin <ajsoft@yandex.ru>
Date: Sun, 25 Feb 2018 11:43:24 +0100
Subject: [PATCH] db.types-docs: mention the +primary-key+ in the appropriate
 help section

---
 basis/db/types/types-docs.factor | 1 +
 1 file changed, 1 insertion(+)

diff --git a/basis/db/types/types-docs.factor b/basis/db/types/types-docs.factor
index 4f23cfcbec..ba2aac8ce5 100644
--- a/basis/db/types/types-docs.factor
+++ b/basis/db/types/types-docs.factor
@@ -150,6 +150,7 @@ ARTICLE: "db.types" "Database types"
 { $subsections
     +db-assigned-id+
     +foreign-id+
+    +primary-key+
     +user-assigned-id+
     +random-id+
 }
-- 
2.34.1