From 0a500b73fc9bd6c6752c7bf0079e2305d0040303 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 14 Oct 2016 14:19:40 +0200
Subject: Remove undocumented option. Bug 20193

---
 cparser/Parse.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser/Parse.ml')

diff --git a/cparser/Parse.ml b/cparser/Parse.ml
index 507aea36..dceb9b11 100644
--- a/cparser/Parse.ml
+++ b/cparser/Parse.ml
@@ -24,7 +24,7 @@ let transform_program t p name =
   (run_pass Unblock.program 'b'
   (run_pass Bitfields.program 'f'
   p)))) in
-  (Rename.program p1 (Filename.chop_suffix name ".c"))
+  (Rename.program p1)
 
 let parse_transformations s =
   let t = ref CharSet.empty in
-- 
cgit