changeset 24620 | 40811901b998 |
parent 24220 | a479ac416ac2 |
child 25451 | 7bd190cac91e |
--- a/lib/Tools/codegen Tue Sep 18 07:36:10 2007 +0200 +++ b/lib/Tools/codegen Tue Sep 18 07:36:11 2007 +0200 @@ -17,7 +17,7 @@ echo echo " Issues code generation using image IMAGE," echo " theory THY," - echo " with Isar command 'code_gen SERI'" + echo " with Isar command 'export_code SERI'" echo exit 1 }