diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2018-12-17 17:05:22 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2018-12-17 17:05:22 -0500 |
| commit | c88aa571002f0dd713158f8b80bfeacbd0a69569 (patch) | |
| tree | 507937107d84d7bff716d0a7a329734101cba009 /src/sqlite.sml | |
| parent | 7578916b630bd84ec3f8e7d97aaaa1cc7828e5ef (diff) | |
When using a file cache, add plugin-loading code (for SHA512) to tops of .sql files
Diffstat (limited to 'src/sqlite.sml')
| -rw-r--r-- | src/sqlite.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sqlite.sml b/src/sqlite.sml index db7052d1..0a3ae4ea 100644 --- a/src/sqlite.sml +++ b/src/sqlite.sml @@ -856,6 +856,6 @@ val () = addDbms {name = "sqlite", nestedRelops = false, windowFunctions = false, supportsIsDistinctFrom = false, - supportsSHA512 = false} + supportsSHA512 = NONE} end |