diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-04 22:17:45 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-04 22:17:45 +0200 |
| commit | 8df444cbc4aa78d4effb03474b3709925ac7002a (patch) | |
| tree | e251cf6733b0cf38ee125d649331687b829fe67a /cparser/Cutil.mli | |
| parent | 1b989dc9bff4a6425a929a5638362ca87edb122d (diff) | |
| parent | 5493186b185143b8cea401fbbbf417d37ae7e665 (diff) | |
| download | compcert-kvx-8df444cbc4aa78d4effb03474b3709925ac7002a.tar.gz compcert-kvx-8df444cbc4aa78d4effb03474b3709925ac7002a.zip | |
Merge branch 'master' of github.com:AbsInt/CompCert
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index b9879339..a322bfb1 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -80,6 +80,8 @@ val combine_types : attr_handling -> Env.t -> typ -> typ -> typ option with the same meaning as for [compatible_types]. When two sets of attributes are compatible, the result of [combine_types] carries the union of these two sets of attributes. *) +val equal_types : Env.t -> typ -> typ -> bool + (* Check that the two given types are equal up to typedef use *) (* Size and alignment *) |