From d35b213f406a2ed2d23dad9dbed4577fb9397c64 Mon Sep 17 00:00:00 2001
From: Miles Cranmer <miles.cranmer@gmail.com>
Date: Mon, 1 Jan 2024 09:43:56 +0000
Subject: [PATCH] Fix docs for `compiled_modules`

---
 src/julia/options.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/julia/options.py b/src/julia/options.py
index 8289d523..ae033150 100644
--- a/src/julia/options.py
+++ b/src/julia/options.py
@@ -119,7 +119,7 @@ def yes_no_etc(*etc):
 compile: {True, False, 'yes', 'no', 'all', 'min'}
     Enable or disable JIT compiler, or request exhaustive compilation.
 
-compiled_modules: {True, False, 'yes', 'no'}
+compiled_modules: {True, False, 'yes', 'no', 'auto'}
     Enable or disable incremental precompilation of modules.
 
 depwarn: {True, False, 'yes', 'no', 'error'}