From 50ed2827867238a98f2036f799d4d6f354a2581c Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 19 May 2015 18:07:08 +0200 Subject: Added flag for the renaming of static functions. --- cparser/Rename.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cparser/Rename.mli') diff --git a/cparser/Rename.mli b/cparser/Rename.mli index 818a51bc..c4ef2228 100644 --- a/cparser/Rename.mli +++ b/cparser/Rename.mli @@ -13,4 +13,4 @@ (* *) (* *********************************************************************) -val program : C.program -> C.program +val program : C.program -> string -> C.program -- cgit