Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Fix typo
ci/woodpecker/push/build Pipeline failed Details

This commit is contained in:
Nicolas Méric 2023-02-09 16:40:05 +01:00
parent 5b3086bbe5
commit c440f9628f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/DOF/Isa_DOF.thy
View File

@ -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),