From 6ba241f89b5bc834d01306717f7029c44f226dd4 Mon Sep 17 00:00:00 2001
From: danielratiu <ratiud@googlemail.com>
Date: Sun, 18 Feb 2024 19:28:56 +0100
Subject: [PATCH] gsn.pdfexport: initial version for exporting argument legs to
 PDF

---
 ...xamples._010_uber_atg_safety_case_modularized_pdf_export.mps | 2 +-
 .../pdf_export_dir/do_not_delete.txt                            | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/pdf_export_dir/do_not_delete.txt

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 @@
   <node concept="TWaE8" id="3TNxfDZ8toW">
     <property role="TrG5h" value="operations_export" />
     <node concept="9PVaO" id="3TNxfDZ8tuf" role="1fTw2V">
-      <property role="3N1Lgt" value="doc_gen" />
+      <property role="3N1Lgt" value="pdf_export_dir" />
     </node>
     <node concept="19rN1b" id="3TNxfDZ8txx" role="TVegP">
       <node concept="1Pa9Pv" id="3TNxfDZ8txy" role="195_jx">
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