diff options
-rw-r--r-- | realtime/rt/util.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/realtime/rt/util.py b/realtime/rt/util.py index a7333bbd..8cd41a1e 100644 --- a/realtime/rt/util.py +++ b/realtime/rt/util.py @@ -10,6 +10,7 @@ SA_INI_FILES = set(( 'a_file', 'lex_file', 'precompute_file', + 'bilex_file', )) class FIFOLock: |