diff --git a/compiler/LabComm.java b/compiler/LabComm.java index 9dbbafbdb4ebf5496c2223763e5637f77d026e0f..d646563572ed6db40bc3fe842dedc526b423c645 100644 --- a/compiler/LabComm.java +++ b/compiler/LabComm.java @@ -31,7 +31,7 @@ public class LabComm { println(" -P Generates Python code in FILE.py"); println(" --python=PFILE Generates Python code in PFILE"); println("[ RAPID options ]"); - println(" --rapid=FILE Generates RAPID code in FILE"); + println(" --rapid Generates RAPID code in FILE.sys"); println("[ Misc options ]"); println(" --pretty Pretty prints on standard output"); println(" --typeinfo=TIFILE Generates typeinfo in TIFILE");