Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned warning
authorhaftmann
Thu, 24 May 2007 08:37:41 +0200
changeset 23088 a3f11e0ae90f
parent 23087 ad7244663431
child 23089 9669110656b9
tuned warning
src/Pure/Tools/codegen_func.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/codegen_func.ML	Thu May 24 08:37:39 2007 +0200
+++ b/src/Pure/Tools/codegen_func.ML	Thu May 24 08:37:41 2007 +0200
@@ -32,7 +32,7 @@
 fun bad_thm msg = raise BAD_THM msg;
 fun error_thm f thm = f thm handle BAD_THM msg => error msg;
 fun warning_thm f thm = SOME (f thm) handle BAD_THM msg
-  => (warning msg; NONE);
+  => (warning ("code generator: " ^ msg); NONE);
 
 
 (* making rewrite theorems *)
isabelle