[typetools/checker-framework] 00ab3d: Add missing assignment

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 00ab3dbbdf0934f77e6c4d05e68367c925ce42ca
https://github.com/typetools/checker-framework/commit/00ab3dbbdf0934f77e6c4d05e68367c925ce42ca
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-12 (Sun, 12 Apr 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/type/treeannotator/PropagationTreeAnnotator.java

Log Message:
-----------
Add missing assignment



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications