adjusted
authorhaftmann
Tue Sep 18 07:36:11 2007 +0200 (2007-09-18)
changeset 2462040811901b998
parent 24619 c2e6a0f8c30b
child 24621 97d403d9ab54
adjusted
lib/Tools/codegen
     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  }