From 35cd891d6eff431bcb51a2486abb4cfc2ba63408 Mon Sep 17 00:00:00 2001 From: Benjamin Bannier Date: Wed, 20 Nov 2024 09:34:10 +0100 Subject: [PATCH] Merge remote-tracking branch 'origin/topic/bbannier/doc-have-spicy' (cherry picked from commit 4a96d34af6fe68bad6afe12dffff6bd795e6b4b1) --- src/zeek.bif | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/zeek.bif b/src/zeek.bif index eccc7f0292..a63252b4ff 100644 --- a/src/zeek.bif +++ b/src/zeek.bif @@ -5304,7 +5304,7 @@ function has_module_events%(group: string%) : bool %} ## Returns true if Zeek was built with support for using Spicy analyzers (which -# is the default). +## is the default). function have_spicy%(%) : bool %{ #ifdef HAVE_SPICY