Commit 0c874bf
thk123
Don't have generic type variables as a comment
The symex_target_equation will merge two types who differ only in
generic specialisation losing the specialisation information. This
ensures that information is kept.1 parent 1f9a5c4 commit 0c874bf
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
655 | 655 | | |
656 | 656 | | |
657 | 657 | | |
658 | | - | |
| 658 | + | |
659 | 659 | | |
660 | 660 | | |
661 | 661 | | |
| |||
0 commit comments