From a58e01d0c2da7a55ab561618061a8562bbe1f425 Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Fri, 5 May 2023 14:18:15 -0700 Subject: [PATCH] I said, FORMATTING --- src/JSON/ConcreteSyntax.SpecProperties.dfy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/JSON/ConcreteSyntax.SpecProperties.dfy b/src/JSON/ConcreteSyntax.SpecProperties.dfy index 81ecf4e2..4e5889f8 100644 --- 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