fixed documentation

boogie-org · Jul 23, 2020 · faccbc1 · faccbc1
1 parent 8cedb9f
commit faccbc1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
@@ -2094,7 +2094,7 @@ print Boogie program after it has been instrumented with
                 do not verify layers <n> and below
   /trustLayersDownto:<n>
                 do not verify layers <n> and above
-  /CivlDesugaredFile:<file>
+  /civlDesugaredFile:<file>
                 print plain Boogie program to <file>
 
   ---- Verification-condition generation options -----------------------------