[typetools/checker-framework] cf46c3: Fix typos (#6712)

0 views
Skip to first unread message

Michael Ernst

unread,
Jul 15, 2024, 10:52:43 AM (16 hours ago) Jul 15
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: cf46c307526192701bf4b3cfb514ede9cae530a6
https://github.com/typetools/checker-framework/commit/cf46c307526192701bf4b3cfb514ede9cae530a6
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-07-15 (Mon, 15 Jul 2024)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/initialization/InitializationAnnotatedTypeFactory.java
M checker/tests/nullness/DaikonEnhancedFor.java
M checker/tests/nullness/DaikonEnhancedForNoThis.java
M docs/CHANGELOG.md
M docs/manual/annotating-libraries.tex
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/reflection/DefaultReflectionResolver.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java

Log Message:
-----------
Fix typos (#6712)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Reply all
Reply to author
Forward
0 new messages