Commit 7176f49
Owen Jones
Remove unneeded code
These functions are already provided by unary_exprt, which
typecase_exprt and not_exprt derive from.1 parent 7660a98 commit 7176f49
1 file changed
+0
-20
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1968 | 1968 | | |
1969 | 1969 | | |
1970 | 1970 | | |
1971 | | - | |
1972 | | - | |
1973 | | - | |
1974 | | - | |
1975 | | - | |
1976 | | - | |
1977 | | - | |
1978 | | - | |
1979 | | - | |
1980 | | - | |
1981 | 1971 | | |
1982 | 1972 | | |
1983 | 1973 | | |
| |||
3035 | 3025 | | |
3036 | 3026 | | |
3037 | 3027 | | |
3038 | | - | |
3039 | | - | |
3040 | | - | |
3041 | | - | |
3042 | | - | |
3043 | | - | |
3044 | | - | |
3045 | | - | |
3046 | | - | |
3047 | | - | |
3048 | 3028 | | |
3049 | 3029 | | |
3050 | 3030 | | |
| |||
0 commit comments