diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 10:17:00 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 10:17:00 +0100 |
commit | 272087e1bc62bead1d1e1bea3d64e12d013eea37 (patch) | |
tree | d45a3111ee2bebdd0f355da6197256173ba2be5d | |
parent | 8a0f584aa73aeab631167c55cc9de8f78afa1044 (diff) | |
download | compcert-272087e1bc62bead1d1e1bea3d64e12d013eea37.tar.gz compcert-272087e1bc62bead1d1e1bea3d64e12d013eea37.zip |
Fixed typo in equal types.
Compare the underlying array types, otherwise we end up in a
endless recursion.
Bug 18374
-rw-r--r-- | cparser/Cutil.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml index c82ada26..c15a7adf 100644 --- a/cparser/Cutil.ml +++ b/cparser/Cutil.ml @@ -333,7 +333,7 @@ let rec equal_types env t1 t2 = | None, None -> true | Some s1, Some s2 -> s1 = s2 | _ -> false end in - size && a1 = a2 && equal_types env t1 t2 + size && a1 = a2 && equal_types env ty1 ty2 | TFun(ty1, params1, vararg1, a1), TFun(ty2, params2, vararg2, a2) -> let params = match params1, params2 with |