[typetools/checker-framework] 08277d: Don't extend twice

0 views
Skip to first unread message

Michael Ernst

unread,
11:50 AM (7 hours ago) 11:50 AM
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 08277d19d0da876bf00e5b1254391eed7a1fbed7
https://github.com/typetools/checker-framework/commit/08277d19d0da876bf00e5b1254391eed7a1fbed7
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java

Log Message:
-----------
Don't extend twice



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