diff --git a/src/lib/frontend.ml b/src/lib/frontend.ml
index a862519f7..798c58eca 100644
--- a/src/lib/frontend.ml
+++ b/src/lib/frontend.ml
@@ -57,6 +57,7 @@ let opt_reformat : string option ref = ref None
 
 let finalize_ast asserts_termination ctx env ast =
   Lint.warn_unmodified_variables ast;
+  if !opt_ddump_initial_ast then Pretty_print_sail.output_ast stdout (Type_check.strip_ast ast);
   let ast = Scattered.descatter ast in
   let side_effects = Effects.infer_side_effects asserts_termination ast in
   if !opt_ddump_side_effect then Effects.dump_effects side_effects;