From 93509ab17dc4771918f48a4a0cbc45e89ce1bb6c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= <nicolasmeric@posteo.net>
Date: Tue, 14 Feb 2023 07:09:27 +0100
Subject: [PATCH] Update file to match the new name space implementation

---
 src/tests/OutOfOrderPresntn.thy | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/tests/OutOfOrderPresntn.thy b/src/tests/OutOfOrderPresntn.thy
index 073090f..b21131c 100644
--- a/src/tests/OutOfOrderPresntn.thy
+++ b/src/tests/OutOfOrderPresntn.thy
@@ -30,9 +30,11 @@ print_doc_items
 (* this corresponds to low-level accesses : *)
 ML\<open>
 val docitem_tab = DOF_core.get_instances \<^context>
-val {docclass_tab, ISA_transformer_tab, ...} 
+val isa_transformer_tab = DOF_core.get_isa_transformers \<^context>
+val {docclass_tab, ...} 
     = DOF_core.get_data @{context};
 Name_Space.dest_table docitem_tab;
+Name_Space.dest_table isa_transformer_tab;
 Symtab.dest docclass_tab;
 app;
 \<close>