| author | haftmann |
| Tue, 18 Sep 2007 07:36:11 +0200 | |
| changeset 24620 | 40811901b998 |
| parent 24619 | c2e6a0f8c30b |
| child 24621 | 97d403d9ab54 |
| lib/Tools/codegen | file | annotate | diff | comparison | revisions |
--- 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 }