diff --git a/main/coclmain.icl b/main/coclmain.icl index f19b269f0f8b7e9f307fcb9b4454ace720a6addc..a85bb888f81b745a123072cc5350559b40597b14 100644 --- a/main/coclmain.icl +++ b/main/coclmain.icl @@ -112,6 +112,8 @@ coclMainWithVersionCheck currentVersion latestDefVersion latestImpVersion testA where n = size s + getArgs commandArgs + = commandArgs CoclArgsFile :== "coclargs.txt"