changeset 69216 | 1a52baa70aed |
parent 68390 | c558a2202f32 |
child 69272 | 15e9ed5b28fb |
--- a/src/HOL/Library/Code_Lazy.thy Wed Oct 31 15:50:45 2018 +0100 +++ b/src/HOL/Library/Code_Lazy.thy Wed Oct 31 15:53:32 2018 +0100 @@ -245,7 +245,7 @@ ML_file "code_lazy.ML" setup \<open> - Code_Preproc.add_functrans ("lazy_datatype", Code_Lazy.transform_code_eqs); + Code_Preproc.add_functrans ("lazy_datatype", Code_Lazy.transform_code_eqs) \<close> end