diff --git a/Source/DafnyLanguageServer/Language/DafnyProgramVerifier.cs b/Source/DafnyLanguageServer/Language/DafnyProgramVerifier.cs
index cf86593591f..d715669c683 100644
--- a/Source/DafnyLanguageServer/Language/DafnyProgramVerifier.cs
+++ b/Source/DafnyLanguageServer/Language/DafnyProgramVerifier.cs
@@ -38,7 +38,7 @@ public async Task<IReadOnlyList<IImplementationTask>> GetVerificationTasksAsync(
         cancellationToken.ThrowIfCancellationRequested();
 
         var translated = await DafnyMain.LargeStackFactory.StartNew(() => Translator.Translate(program, errorReporter, new Translator.TranslatorFlags(errorReporter.Options) {
-          InsertChecksums = true,
+          InsertChecksums = 0 < engine.Options.VerifySnapshots,
           ReportRanges = true
         }).ToList(), cancellationToken);