# HG changeset patch
# User haftmann
# Date 1190093771 -7200
# Node ID 40811901b998dbe054be98871375d156681713da
# Parent  c2e6a0f8c30bfdb7869c378b264ea0a9908a0ef8
adjusted

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
 }