diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized_pdf_export.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized_pdf_export.mps index df39f9952..1ccbe1a30 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized_pdf_export.mps +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized_pdf_export.mps @@ -48,7 +48,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/pdf_export_dir/do_not_delete.txt b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/pdf_export_dir/do_not_delete.txt new file mode 100644 index 000000000..e69de29bb