From dba806ca25b5bc53b744e2c1c2d72fa3d6cd8e05 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 5 May 2014 08:27:22 +0000
Subject: Support for old-style K&R function definitions.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2478 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cparser/Cabshelper.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser/Cabshelper.ml')

diff --git a/cparser/Cabshelper.ml b/cparser/Cabshelper.ml
index aa7a117..7f411ad 100644
--- a/cparser/Cabshelper.ml
+++ b/cparser/Cabshelper.ml
@@ -47,6 +47,7 @@ let rec isTypedef = function
 let get_definitionloc (d : definition) : cabsloc =
   match d with
   | FUNDEF(_, _, _, l) -> l
+  | KRFUNDEF(_, _, _, _, _, l) -> l
   | DECDEF(_, l) -> l
   | PRAGMA(_, l) -> l
 
-- 
cgit v1.2.3