From c440f9628fd9bd2b4161cc353a7518173bf5a883 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicolas=20M=C3=A9ric?= <nicolasmeric@posteo.net>
Date: Thu, 9 Feb 2023 16:40:05 +0100
Subject: [PATCH] Fix typo

---
 src/DOF/Isa_DOF.thy | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/DOF/Isa_DOF.thy b/src/DOF/Isa_DOF.thy
index 891f429..5915e11 100644
--- a/src/DOF/Isa_DOF.thy
+++ b/src/DOF/Isa_DOF.thy
@@ -246,8 +246,8 @@ struct
       SOME entry => entry
     | NONE => raise TYPE ("Unknown instance: " ^ quote i, [], []));
 
-  fun the_instance instances i =
-    the_entry_key instances i
+  fun the_instance instance i =
+    the_entry_key instance i
 
    type ISA_transformers = {check     :
                               (theory -> term * typ * Position.T -> string -> term option),