diff options
author | Magnus Hagander | 2018-04-25 07:29:50 +0000 |
---|---|---|
committer | Magnus Hagander | 2018-04-25 07:29:50 +0000 |
commit | 7f58f666cdeee8016fd4ec7aa79629c983ecc3bd (patch) | |
tree | b6828a3930ce74ba68c684737c92621232130c6d | |
parent | bd4aad32395c1f2c3214657261b32b94475358c8 (diff) |
Fix typo
Author: Michael Paquier
-rw-r--r-- | doc/src/sgml/jit.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/jit.sgml b/doc/src/sgml/jit.sgml index 2a647e8c6c5..fc841337c36 100644 --- a/doc/src/sgml/jit.sgml +++ b/doc/src/sgml/jit.sgml @@ -139,7 +139,7 @@ If <xref linkend="guc-jit"/> is set to <literal>off</literal>, or no <acronym>JIT</acronym> implementation is available (for example because the server was compiled without <literal>--with-llvm</literal>), - <acronym>JIT</acronym> will not performed, even if considered to be + <acronym>JIT</acronym> will not be performed, even if considered to be beneficial based on the above criteria. Setting <xref linkend="guc-jit"/> to <literal>off</literal> takes effect both at plan and at execution time. </para> |