[commons-bcel] branch master updated: Spelling

[gg...@apache.org]

This is an automated email from the ASF dual-hosted git repository.

ggregory pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/commons-bcel.git


The following commit(s) were added to refs/heads/master by this push:
     new 90e4312d Spelling
90e4312d is described below

commit 90e4312d284e7d5366f9fcc91d4755ca84be13a4
Author: Gary David Gregory (Code signing key) <gg...@apache.org>
AuthorDate: Sat Jun 24 13:34:18 2023 -0400

    Spelling
---
 docs/verifier/JustIce.lyx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/verifier/JustIce.lyx b/docs/verifier/JustIce.lyx
index 02e3858a..3496cf8f 100644
--- a/docs/verifier/JustIce.lyx
+++ b/docs/verifier/JustIce.lyx
@@ -8403,7 +8403,7 @@ _w}
  instructions have possibly not been symbolically executed yet and thus
  bear no type information at the time of merging.
  In this scenario, an instruction in a subroutine plays multiple roles;
- one for each occurence of a 
+ one for each occurrence of a 
 \latex latex 
 
 \backslash