From 7f58f666cdeee8016fd4ec7aa79629c983ecc3bd Mon Sep 17 00:00:00 2001 From: Magnus Hagander Date: Wed, 25 Apr 2018 09:29:50 +0200 Subject: [PATCH] Fix typo Author: Michael Paquier --- doc/src/sgml/jit.sgml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/sgml/jit.sgml b/doc/src/sgml/jit.sgml index 2a647e8c6c..fc841337c3 100644 --- a/doc/src/sgml/jit.sgml +++ b/doc/src/sgml/jit.sgml @@ -139,7 +139,7 @@ If is set to off, or no JIT implementation is available (for example because the server was compiled without --with-llvm), - JIT will not performed, even if considered to be + JIT will not be performed, even if considered to be beneficial based on the above criteria. Setting to off takes effect both at plan and at execution time. -- 2.40.0