Don't show snippets when checking examples

dafny-lang · Aug 20, 2024 · bbec710 · bbec710
1 parent ad0c16c
commit bbec710
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Scripts/check-examples b/Scripts/check-examples
@@ -76,7 +76,7 @@ defaultCommand=
 defaultExit=
 defaultLang=
 useHeadings=0
-defOptions="--function-syntax:4 --use-basename-for-filename --unicode-char:false --allow-warnings"
+defOptions="--function-syntax:4 --use-basename-for-filename --unicode-char:false --allow-warnings --show-snippets=false"
 legacyOptions="-functionSyntax:4 -useBaseNameForFileName"
 
 while getopts 'md:x:l:' opt; do