diff -r c2e6a0f8c30b -r 40811901b998 lib/Tools/codegen
--- 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
 }