Skip to content
Commit 6e8541dd authored by Ted Kremenek's avatar Ted Kremenek
Browse files

Rename instance variable to avoid name conflict with parameters, and modify...

Rename instance variable to avoid name conflict with parameters, and modify addTransition() to compare the correct state values.

llvm-svn: 90552
parent f1e2c829
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment