Use from_{expr,type} matching the language of the expression/type#2085
Merged
kroening merged 1 commit intodiffblue:developfrom Apr 21, 2018
Merged
Use from_{expr,type} matching the language of the expression/type#2085kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
