# HG changeset patch
# User haftmann
# Date 1671268692 -3600
# Node ID 89f78f76df1ce6f2ba2107fedec001ddd5887d0f
# Parent  2afbd514b654516c097c75c88ae7a5a6f1e4384e
prefer SML here

diff -r 2afbd514b654 -r 89f78f76df1c src/Doc/Codegen/Refinement.thy
--- a/src/Doc/Codegen/Refinement.thy	Sat Dec 17 10:12:03 2022 +0100
+++ b/src/Doc/Codegen/Refinement.thy	Sat Dec 17 10:18:12 2022 +0100
@@ -261,7 +261,7 @@
 \<close>
 
 text %quote \<open>
-  @{code_stmts Dlist.empty Dlist.insert Dlist.remove list_of_dlist (Haskell)}
+  @{code_stmts Dlist.empty Dlist.insert Dlist.remove list_of_dlist (SML)}
 \<close>
 
 text \<open>