I said, FORMATTING

dafny-lang · May 5, 2023 · a58e01d · a58e01d
1 parent 45055e1
commit a58e01d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/JSON/ConcreteSyntax.SpecProperties.dfy b/src/JSON/ConcreteSyntax.SpecProperties.dfy
@@ -4,7 +4,7 @@
 include "ConcreteSyntax.Spec.dfy"
 
 module {:options "-functionSyntax:4"} JSON.ConcreteSyntax.SpecProperties
-  // Some useful properties about the functions used in `ConcreteSyntax.Spec`.
+// Some useful properties about the functions used in `ConcreteSyntax.Spec`.
 {
   import opened BoundedInts