format

dafny-lang · Jul 12, 2023 · 4b84436 · 4b84436
1 parent 9e90f4b
commit 4b84436
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/JSON/ZeroCopy/Deserializer.dfy b/src/JSON/ZeroCopy/Deserializer.dfy
@@ -307,7 +307,7 @@ module {:options "-functionSyntax:4"} JSON.ZeroCopy.Deserializer {
         assert elems.cs.StrictlySplitFrom?(json.cs);
         assert elems.SplitFrom?(open.cs, SuffixedElementsSpec);
         assert elem.StrictlySplitFrom?(elems.cs, ElementSpec);
-        assert forall e | e in elems.t :: e.suffix.NonEmpty?; 
+        assert forall e | e in elems.t :: e.suffix.NonEmpty?;
         var elems := AppendWithSuffix(open.cs, json, elems, elem, sep);
         assert open.StrictlySplitFrom?(cs0, c => Spec.Structural(c, SpecView));
         assert elems.cs.StrictlySplitFrom?(json.cs);