Minor tweak to lec1

tchajed · tchajed · commit c38eed3ed9fd · 2023-05-07T14:58:57.000-07:00
diff --git a/src/lec1_logic.dfy b/src/lec1_logic.dfy
@@ -124,8 +124,8 @@ lemma AbsNegLarger(x: int)
 // }}}
 
 
-// {{{
 /*** Quantifiers ***/
+// {{{
 
 /* Dafny has a `forall` logical expression that can be used in assertions, with
  * the expected meaning. It can prove such assertions automatically in many
