From 5492b5b55afa68e3d628da07ff583a0cac79b7e3 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 28 Sep 2015 13:36:53 +0200
Subject: Added location for the formal parameters and move the end of all
 scopes before the last statement.

---
 cfrontend/C2C.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cfrontend/C2C.ml')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index dd55e60f..332665f4 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -1042,6 +1042,7 @@ let convertFundef loc env fd =
     List.map
       (fun (id, ty) ->
         let id' = intern_string id.name in
+        Debug.atom_parameter fd.fd_name id id';
         (id', convertTyp env ty))
       fd.fd_params in
   let vars =
-- 
cgit