--- a/src/HOL/Library/Code_Abstract_Nat.thy Wed Oct 31 15:50:45 2018 +0100 +++ b/src/HOL/Library/Code_Abstract_Nat.thy Wed Oct 31 15:53:32 2018 +0100 @@ -110,7 +110,7 @@ Code_Preproc.add_functrans ("eqn_Suc", eqn_suc_preproc) -end; +end \<close> end