--- a/doc-src/Codegen/Thy/Setup.thy Tue May 03 22:26:16 2011 +0200
+++ b/doc-src/Codegen/Thy/Setup.thy Tue May 03 22:27:32 2011 +0200
@@ -22,6 +22,6 @@
setup {* Code_Target.set_default_code_width 74 *}
-declare [[unique_names = false]]
+declare [[names_unique = false]]
end