1.1 --- a/lib/Tools/codegen	Tue Sep 18 07:36:10 2007 +0200
     1.2 +++ b/lib/Tools/codegen	Tue Sep 18 07:36:11 2007 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4    echo
     1.5    echo "  Issues code generation using image IMAGE,"
     1.6    echo "  theory THY,"
     1.7 -  echo "  with Isar command 'code_gen SERI'"
     1.8 +  echo "  with Isar command 'export_code SERI'"
     1.9    echo
    1.10    exit 1
    1.11  }