From 272087e1bc62bead1d1e1bea3d64e12d013eea37 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 10 Mar 2016 10:17:00 +0100
Subject: Fixed typo in equal types.

Compare the underlying array types, otherwise we end up in a
endless recursion.
Bug 18374
---
 cparser/Cutil.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser')

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
-- 
cgit