From 718b6ae1f00d8436ecca16bc23c3c9ddd59168ea Mon Sep 17 00:00:00 2001
From: bu <wolff@lri.fr>
Date: Mon, 3 Sep 2018 21:32:13 +0200
Subject: [PATCH] small follower bug.

---
 test/conceptual/Attributes.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/conceptual/Attributes.thy b/test/conceptual/Attributes.thy
index 4ff7e9b..1d46c1d 100644
--- a/test/conceptual/Attributes.thy
+++ b/test/conceptual/Attributes.thy
@@ -10,7 +10,7 @@ print_doc_items
 
 (* corresponds to low-level accesses : *)
 ML\<open>  
-val ({tab = x, ...},y)= DOF_core.get_data @{context};
+val ({tab = x, ...},y,_)= DOF_core.get_data @{context};
 Symtab.dest x;
 "==============================================";
 Symtab.dest y;