From f837688779fad408b400f83e93d45a5c013c3843 Mon Sep 17 00:00:00 2001
From: ronny
Date: Thu, 1 Nov 2001 15:34:46 +0000
Subject: bug fix: rule does not match when no --dump-args or --restore args is
 specified.

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@878 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 main/coclmain.icl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'main')

diff --git a/main/coclmain.icl b/main/coclmain.icl
index f19b269..a85bb88 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"
 
-- 
cgit v1.2.3