Avoid infinite recursion in has_subtype#2079

romainbrenguier merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:bugfix/has-subtype-recursionromainbrenguier/cbmc:bugfix/has-subtype-recursionCopy head branch name to clipboard