summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMagnus Hagander2018-04-25 07:29:50 +0000
committerMagnus Hagander2018-04-25 07:29:50 +0000
commit7f58f666cdeee8016fd4ec7aa79629c983ecc3bd (patch)
treeb6828a3930ce74ba68c684737c92621232130c6d
parentbd4aad32395c1f2c3214657261b32b94475358c8 (diff)
Fix typo
Author: Michael Paquier
-rw-r--r--doc/src/sgml/jit.sgml2
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>