From c18bfa26965b2d2ddde2fb831f225e200f502278 Mon Sep 17 00:00:00 2001
From: Ronny Wichers Schreur <ronny@cs.ru.nl>
Date: Thu, 1 Nov 2001 15:34:46 +0000
Subject: [PATCH] bug fix: rule does not match when no --dump-args or --restore
 args is specified.

---
 main/coclmain.icl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/main/coclmain.icl b/main/coclmain.icl
index f19b269f..a85bb888 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"
 
-- 
GitLab