1 files changed, 7 insertions, 7 deletions
diff --git a/driver/Frontend.ml b/driver/Frontend.ml
index 5d45306d..c8131662 100644
--- a/driver/Frontend.ml
+++ b/driver/Frontend.ml
@@ -79,14 +79,14 @@ let parse_c_file sourcename ifile =
   Debug.init_compile_unit sourcename;
   Sections.initialize();
   CPragmas.reset();
-  (* Simplification options *)
-  let simplifs =
-    "b" (* blocks: mandatory *)
-  ^ (if !option_fstruct_passing then "s" else "")
-  ^ (if !option_fpacked_structs then "p" else "")
-  in
   (* Parsing and production of a simplified C AST *)
-  let ast = Parse.preprocessed_file simplifs sourcename ifile in
+  let ast =
+    Parse.preprocessed_file
+      ~unblock: true
+      ~switch_norm: (if !option_funstructured_switch then `Full else `Partial)
+      ~struct_passing: !option_fstruct_passing
+      ~packed_structs: !option_fpacked_structs
+      sourcename ifile in
   (* Save C AST if requested *)
   Cprint.print_if ast;
   (* Conversion to Csyntax *)