1 files changed, 1 insertions, 0 deletions
diff --git a/slang.h b/slang.h
index 20d75e1f7..03c5cd6f8 100644
--- a/slang.h
+++ b/slang.h
@@ -860,6 +860,7 @@ extern "C"
             SourceEmbedStyle,
             SourceEmbedName,
             SourceEmbedLanguage,
+            DisableShortCircuit,   // bool
 
             // Target