
diff -r 9fd395ff57bc -r 4d95261fab5a src/Doc/Codegen/Further.thy
--- a/src/Doc/Codegen/Further.thy	Sun Jan 20 21:26:15 2019 +0100
+++ b/src/Doc/Codegen/Further.thy	Sun Jan 20 17:14:35 2019 +0000
@@ -194,7 +194,7 @@
 \<close>
 
 text %quote \<open>
-  @{code_stmts funpows (consts) Nat.funpow funpows (Haskell)}
+  @{code_stmts funpows constant: Nat.funpow funpows (Haskell)}
 \<close>
 
 




