When using a file cache, add plugin-loading code (for SHA512) to tops of .sql files

1 files changed, 1 insertions, 1 deletions

diff --git a/src/postgres.sml b/src/postgres.sml
index 2b6bee8c..a33a1de4 100644
--- a/src/postgres.sml
+++ b/src/postgres.sml
@@ -1154,7 +1154,7 @@ val () = addDbms {name = "postgres",
                   nestedRelops = true,
                   windowFunctions = true,
                   supportsIsDistinctFrom = true,
-                  supportsSHA512 = true}
+                  supportsSHA512 = SOME "CREATE EXTENSION pgcrypto;"}
 
 val () = setDbms "postgres"