From fb0d4f6c8492cc08bbf50609daa2cda1dc53a796 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 13 Apr 2019 11:32:14 -0400
Subject: Generate primary key constraints with normal CONSTRAINT clauses
 (initial motivation: apgdiff only supports this new form)

---
 src/cjr_print.sml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/cjr_print.sml b/src/cjr_print.sml
index 5ef891db..1e948943 100644
--- a/src/cjr_print.sml
+++ b/src/cjr_print.sml
@@ -3771,7 +3771,12 @@ fun p_sql env (ds, _) =
                                                  cut,
                                                  case pk of
                                                      "" => box []
-                                                   | _ => box [string "PRIMARY",
+                                                   | _ => box [string "CONSTRAINT",
+                                                               space,
+                                                               string s,
+                                                               string "_pkey",
+                                                               space,
+                                                               string "PRIMARY",
                                                                space,
                                                                string "KEY",
                                                                space,
-- 
cgit v1.2.3