--- a/src/HOL/BNF/Tools/bnf_fp_n2m.ML Mon Nov 04 11:59:08 2013 +0100
+++ b/src/HOL/BNF/Tools/bnf_fp_n2m.ML Mon Nov 04 12:40:28 2013 +0100
@@ -376,6 +376,6 @@
|> morph_fp_result (Morphism.term_morphism (singleton (Variable.polymorphic lthy))));
in
(fp_res, lthy)
- end
+ end;
end;